Pure functional programming language with dependent types

Current versions:
0.12.3 HEAD



idris requires the following formulae to be installed:

Formula history

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
Miëtek Bak idris 0.10
Show all revisions of this formula