Allow erased module parameters
flupe opened this issue · comments
Haskell doesn't support module parameters, but those make management of Agda code way easier. So long as they are erased, they should be allowed.
agda / agda2hs
Compiling Agda code to readable Haskell