search

idris-lang / Idris-dev

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

Idris release 1.3.4 #4908

Closed melted closed 2 years ago