Idris

github.com ↗

General purpose pure functional programming language with dependent types influenced by Haskell and ML.