Codestin Search App

cartazio / Idris-dev Public

forked from idris-lang/Idris-dev

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

A Dependently Typed Functional Programming Language

idris-lang.org

View license

0 stars 631 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 675 Commits
contribs		contribs
iif		iif
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.