[ cosmetic ] cleanup trailing whitespace + typos - Githubissues

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris

https://idris-lang.org/

Other

902 stars 58 forks source link

[ cosmetic ] cleanup trailing whitespace + typos #252

Closed gallais closed 4 years ago