idris-hackers/software-foundations

Fix typos in CONTRIBUTING.md

yurrriq opened this issue · 0 comments

yurrriq commented
  • ineline
  • mintline
  • ...