Skip to content

Throw error if module under Haskell. namespace produces any Haskell o… #137

Throw error if module under Haskell. namespace produces any Haskell o…

Throw error if module under Haskell. namespace produces any Haskell o… #137

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Jan 6, 2025 in 1m 7s