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