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