A Dependently Typed Functional Programming Language
Haskell C JavaScript Java Shell Vim script Other
Switch branches/tags
Nothing to show
Pull request Compare This branch is 8148 commits behind idris-lang:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
contribs vim: added dsl notation Mar 12, 2013
effects Change argument order for mkStrFn Mar 10, 2013
iif Change TRACE mode to use -O2 Sep 5, 2012
java Backend support for Java Mar 11, 2013
js javascript: extracted common runtime Feb 18, 2013
lib Fix error with linearity checking in patterns Mar 13, 2013
papers/impl-paper Revision of impl-paper completed. Feb 15, 2013
rts Some RTS functions to help with allocation in foreign functions Mar 9, 2013
samples
src
support
test Fix error with linearity checking in patterns Mar 13, 2013
tutorial Minor tutorial updates Mar 10, 2013
.gitattributes typo fix in git attributes, adding test results to gitignore Nov 27, 2012
.gitignore Ignore windows test binaries Nov 27, 2012
.travis.yml
CHANGELOG Remove Threading effect (on account of it not working :)) Mar 1, 2013
CONTRIBUTORS unify help and completion of REPL - previously they were not in sync,… Mar 13, 2013
LICENSE Fix LICENSE Sep 14, 2011
Makefile Added effects package and associated tests Mar 1, 2013
README Added testing instructions to README Feb 25, 2013
Setup.hs Added effects package and associated tests Mar 1, 2013
config.mk Refactor the makefile so that all the pertinent variables are in conf… Oct 29, 2012
git-credential-osxkeychain error handling Jul 17, 2012
idris.cabal unify help and completion of REPL - previously they were not in sync,… Mar 13, 2013

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.