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 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: depend on ghc@8.2 at build time (#25526)
ilovezfs idris 1.2.0
ilovezfs Use “squiggly” heredocs.
ilovezfs idris 1.1.1
ilovezfs idris 1.1.0

Formula code at GitHub