GitHub repos
idris-lang/Idris2
A purely functional programming language with first class types
Language
: Idris
Stars
: 160
Issues
: 66
Forks
: 15
https://github.com/idris-lang/Idris2
Comments
Be the first to add a comment
