Codestin Search App

erkin / Idris-dev Public

forked from bitlisp/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 960 Commits
contribs		contribs
iif		iif
lib		lib
papers/impl-paper		papers/impl-paper
rts		rts
samples		samples
src		src
support		support
test		test
tutorial		tutorial
.gitattributes		.gitattributes
.gitignore		.gitignore
.travis.yml		.travis.yml
CHANGELOG		CHANGELOG
LICENSE		LICENSE
Makefile		Makefile
README		README
Setup.hs		Setup.hs
config.mk		config.mk
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 configure, edit config.mk. The default values should work for most people.

To install, type 'make'. This will install everything using cabal and
typecheck the libraries.