search

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language
http://idris-lang.org
Other
3.43k stars 644 forks source link

mention named implementations earlier #4912

Closed Mathnerd314 closed 2 years ago

Mathnerd314 commented 2 years ago

I did a double-take when I saw this sentence.

I hope I got the link syntax right.

melted commented 2 years ago

Thanks!