Rename our provided modules from `GHC.…` to `HsToCoq.…`

plclub / hs-to-coq

Convert Haskell source code to Coq source code.

https://hs-to-coq.readthedocs.io

MIT License

78 stars 8 forks source link

Closed lastland closed 3 years ago

lastland commented 3 years ago

This is an attempt to resolve #155.

Checklist (Marked things are done):

Am I missing anything?