A Dependently Typed Functional Programming Language
TeX Haskell Idris C C++ Perl Shell
Switch branches/tags
Nothing to show
Pull request Compare This branch is 2 commits ahead, 7833 commits behind idris-lang:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
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.