Skip to content

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

Always drop "Haskell." prefix from module names

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

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

succeeded Nov 15, 2024 in 1m 34s