Skip to content
Nix CI

[ fix #373 ] enable existing-class on postulated type formers #117

Sign in to view logs

[ fix #373 ] enable existing-class on postulated type formers

[ fix #373 ] enable existing-class on postulated type formers #117

Run time

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