Add module hierarchy Agda2Hs.Language.Haskell
#197
HeinrichApfelmusnix-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.
|