search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.53k stars 380 forks source link

[ linear ] typo in the docstring #3358

Closed gallais closed 4 months ago

gallais commented 4 months ago

Can't push straight to main as it's protected :(