Skip to content

[ fix #370 ] add locate command, data-files in cabal config #114

[ fix #370 ] add locate command, data-files in cabal config

[ fix #370 ] add locate command, data-files in cabal config #114

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

succeeded Oct 1, 2024 in 1m 31s