Описание тега idris
Idris is a general purpose pure functional programming language with dependent types.
Idris is a general-purpose https://en.wikipedia.org/wiki/Purely_functional_programming language with dependent types, strict or optional lazy evaluation and features such as a totality checker.