A Dependently Typed Functional Programming Language
Haskell Other
Switch branches/tags
Nothing to show
Pull request Compare This branch is 8108 commits behind idris-lang:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
contribs/gtksourceview-2.0-language-spec
impl-paper
lib
samples
src
test
tutorial
.gitignore
CHANGELOG
LICENSE
Makefile
README
Setup.hs
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.