search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

fix typo in docs/tutorial/typesfuns.rst #265

Closed then0rTh closed 4 years ago

then0rTh commented 4 years ago

duplicated word

edwinb commented 4 years ago

Thanks!