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

Typecheck with Agda with nix (agda2hs-lib)

succeeded Nov 15, 2024 in 1m 10s