search

edwinb / Idris2-boot

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

[ update ] introducing Data.List1 to match idris2 #394

Closed gallais closed 4 years ago

gallais commented 4 years ago

cf. https://github.com/idris-lang/Idris2/pull/520