https://github.com/idris-lang/Idris-dev
Haskell3396
4 months ago
A Dependently Typed Functional Programming Language
Other