Skip to content
Build agda-core

Use Delay monad for reduction instead of Fuel #5

Sign in to view logs

Use Delay monad for reduction instead of Fuel

Use Delay monad for reduction instead of Fuel #5

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
53s
53s