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

juhp / 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 632 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 391 Commits
contribs/gtksourceview-2.0-language-spec		contribs/gtksourceview-2.0-language-spec
impl-paper		impl-paper
lib		lib
samples		samples
src		src
test		test
tutorial		tutorial
.gitignore		.gitignore
CHANGELOG		CHANGELOG
LICENSE		LICENSE
Makefile		Makefile
README		README
Setup.hs		Setup.hs
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.