Purely functional programming language with dependent types

WWW: https://www.idris-lang.org
