Pure functional programming language with dependent types

Current versions:
0.99 HEAD



idris requires the following formulae to be installed:

Formula history

Termina1 idris 0.99
ilovezfs idris 0.12.3
ilovezfs idris 0.12.2
ilovezfs idris 0.12.1
ilovezfs idris: GHC 8 compatibility
ilovezfs idris 0.12
ilovezfs idris: install using haskell-stack
ilovezfs idris 0.11.2
Markus Klink idris 0.11
Markus Klink idris 0.10.2
Show all revisions of this formula