Skip to content

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

Always drop "Haskell." prefix from module names

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

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

succeeded Jan 6, 2025 in 1m 30s