Skip to content
A Dependently Typed Functional Programming Language http://idris-lang.org
Haskell C JavaScript Java VimL C++ Other
Find file
Pull request Compare This branch is 5570 commits behind idris-lang:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
contribs
effects
iif
java
javascript
js
lib
papers/impl-paper
rts
samples
src
support
test
tutorial
.gitattributes
.gitignore
.travis.yml
CHANGELOG
CONTRIBUTORS
LICENSE
Makefile
README
Setup.hs
config.mk
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.

To run the tests, type 'make test' which will execute the test suite, and
'make relib', which will typecheck and recompile the standard library.
Something went wrong with that request. Please try again.