Skip to content
Nix CI

Minor: Fix libaries typo in introduction.md doc file #158

Sign in to view logs

Minor: Fix libaries typo in introduction.md doc file

Minor: Fix libaries typo in introduction.md doc file #158

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile agda2hs with nix (agda2hs)
1m 34s
Test building inside a nix shell
2m 6s
Typecheck with Agda with nix (agda2hs-lib)
1m 7s
4m 47s