Skip to content
A Dependently Typed Functional Programming Language
Haskell Idris C JavaScript Shell C++ Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
contribs
iif
impl-paper
lib
rts
samples
src
support
test
tutorial
.gitignore
CHANGELOG
LICENSE
Makefile
README
Setup.hs
git-credential-osxkeychain
idris.cabal

README

Idris (http://idris-lang.org/) is an experimental functional programming 
language with dependent types.

To install, type 'make'. This will install everything using cabal and
typecheck the libraries. 
Something went wrong with that request. Please try again.