Skip to content
Nix CI

Don't crash on parse errors in deriving clauses #97

Sign in to view logs

Don't crash on parse errors in deriving clauses

Don't crash on parse errors in deriving clauses #97

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile agda2hs with nix (agda2hs)
1m 41s
Typecheck with Agda with nix (agda2hs-lib)
1m 19s
3m 0s