Source

idris-dev /

Filename Size Date modified Message
contribs
effects
iif
java
js
lib
papers/impl-paper
rts
samples
src
support
test
tutorial
12 B
157 B
76 B
6.4 KB
366 B
1.6 KB
998 B
425 B
6.7 KB
603 B
5.5 KB
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.