A functional programming language with dependent types focused on general-purpose programming. It has indentation significant and extensible syntax. It also offers interactive editing via the compiler, which lets you code using types, and type-driven overloading resolution.
|Developed by||Edwin Brady|
|Latest stable version||2|
Its features were influenced by Haskell and ML