Skip to content
Nix CI

Always drop "Haskell." prefix from module names #120

Sign in to view logs

Always drop "Haskell." prefix from module names

Always drop "Haskell." prefix from module names #120

Run time

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