Skip to content
Build agda-core

Use Delay monad for reduction instead of Fuel #19

Sign in to view logs

Use Delay monad for reduction instead of Fuel

Use Delay monad for reduction instead of Fuel #19

Workflow file for this run

.github/workflows/agda-core-build.yml at 1bfd963

File not found

The workflow file could not be found.