A small typo 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

A small typo in README.md #126

Closed hengchu closed 5 years ago

hengchu commented 5 years ago

remame -> rename

antalsz commented 5 years ago

Thanks, Hengchu!