idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.53k stars 380 forks source link

Typo fix in docs for /contrib/Data/Telescope.idr #3231

Closed jasonhemann closed 8 months ago

jasonhemann commented 8 months ago

Description