Fix typos in CONTRIBUTING.md - Githubissues

idris-hackers / software-foundations

Software Foundations in Idris

https://idris-hackers.github.io/software-foundations

MIT License

452 stars 34 forks source link

Fix typos in CONTRIBUTING.md #16

Closed yurrriq closed 7 years ago

yurrriq commented 7 years ago

[x] ineline
[x] mintline
...