dev-lang/
idris2

Purely functional programming language with first class types

https://idris-lang.org/

Latest Commits