Skip to content
Nix CI

Add properties about Boolean Algebra to Bool #142

Sign in to view logs

Add properties about Boolean Algebra to Bool

Add properties about Boolean Algebra to Bool #142

Run time

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