Skip to content

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

Merged
jespercockx merged 5 commits intoagda:masterfrom jespercockx:drop-haskell-prefixJan 6, 2025