Skip to content
A language with dependent types
Haskell Other
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
Idris
lib
notes
papers
samples
tests
web/tutorial
CHANGELOG
LICENSE
Main.lhs
Makefile
Setup.lhs
TODO
idris.cabal
Something went wrong with that request. Please try again.