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.2 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

Recent formula history

ilovezfs idris 1.2.0
ilovezfs Use “squiggly” heredocs.
ilovezfs idris 1.1.1
ilovezfs idris 1.1.0
ilovezfs idris: depend on ghc@8.0

Formula code at GitHub