add note about edit files in README.md - Githubissues

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

add note about edit files in README.md #73

Closed abailly closed 6 years ago

abailly commented 6 years ago

Follow-up to #72

nomeata commented 6 years ago

Thanks!