This branch is up to date with heades/idris:master.

Name	Name	Last commit message	Last commit date
Latest commit heades Some fun. Nov 24, 2013 003773a · Nov 24, 2013 History 3 Commits
examples/sized-binary-trees	examples/sized-binary-trees	Some fun.	Nov 24, 2013
README.md	README.md	Initial commit	Nov 23, 2013

Repository files navigation

idris

Everything Idris

Everything Idris

No releases published

No packages published