Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
A Dependently Typed Functional Programming Language
Haskell C Other
Branch: master
Pull request Compare This branch is 1 commit ahead, 5513 commits behind idris-lang:master.

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
contribs
iif
lib
papers/impl-paper
rts
samples
src
support
test
tutorial
.gitattributes
.gitignore
.travis.yml
CHANGELOG
CONTRIBUTORS
LICENSE
Makefile
README
Setup.hs
config.mk
git-credential-osxkeychain
idris.cabal

README

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

To configure, edit config.mk. The default values should work for most people.

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