GitHub - melfm/Idris-dev: A Dependently Typed Functional Programming Language

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 653 Commits
contribs		contribs
impl-paper		impl-paper
lib		lib
rts		rts
samples		samples
src		src
support		support
test		test
tutorial		tutorial
.gitignore		.gitignore
CHANGELOG		CHANGELOG
LICENSE		LICENSE
Makefile		Makefile
README		README
Setup.hs		Setup.hs
git-credential-osxkeychain		git-credential-osxkeychain
idris.cabal		idris.cabal

Repository files navigation

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.