Skip to content
Nix CI

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)… #87

Sign in to view logs

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)…

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)… #87

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile agda2hs with nix (agda2hs)
1m 33s
Typecheck with Agda with nix (agda2hs-lib)
1m 21s
2m 54s