Improve ordering of declarations

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

Closed Lysxia closed 4 years ago

Lysxia commented 4 years ago

Put instances before other definitions
Fixed a "bug" where definitions were provided in reverse order (because that's how they come out of the renamer).