Clarify in the documentation that Haskell version stuff is handled by `stack`

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 antalsz closed 6 years ago

sweirich commented 6 years ago