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

melfm / Idris-dev Public

forked from idris-lang/Idris-dev

Notifications You must be signed in to change notification settings
Fork 0
Star 1

A Dependently Typed Functional Programming Language

idris-lang.org

View license

1 star 631 forks Branches Tags Activity

Star

Notifications

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.