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