Add module hierarchy Agda2Hs.Language.Haskell
#197
nix-ci.yml
on: pull_request
Test building inside a nix shell
1m 35s
Matrix: nix-build
Annotations
2 errors
Compile agda2hs with nix (agda2hs)
Process completed with exit code 1.
|
Test building inside a nix shell
Process completed with exit code 1.
|