Pure functional programming language with dependent types

Current versions

idris requires the following formulae to be installed:
cabal-install Command-line interface for Cabal and Hackage
ghc 8.2.1 Glorious Glasgow Haskell Compilation System
pkg-config 0.29.2 Manage compile and link flags for libraries
libffi 3.2.1 Portable Foreign Function Interface library

Formula history

ilovezfs Use “squiggly” heredocs.
ilovezfs idris 1.1.1
ilovezfs idris 1.1.0
ilovezfs idris: depend on ghc@8.0
ilovezfs idris 1.0
ilovezfs idris 0.99.2
Viktor Szakats idris: https in homepage
ilovezfs idris 0.99.1
Termina1 idris 0.99
ilovezfs idris 0.12.3
Show all revisions of this formula