Idris

Awesome Idris – Massive Collection of Resources

An auxiliary list of awesome Idris resources. Idris is a general purpose pure functional programming language with dependent types. Dependent…