search

antalsz / hs-to-coq

Convert Haskell source code to Coq source code
https://hs-to-coq.readthedocs.io
MIT License
279 stars 27 forks source link

No automatic munging of constructor names #49

Closed nomeata closed 6 years ago

nomeata commented 6 years ago

Since not all constructors are punned, it might be easier, more reliable and following the principle of least surprise if we simply require the user to rename punned in an edit, and do no manual Mk_ munging at all. (Suggestion by @sweirich)