register
log in
hub.darcs.net
::
dolio
->
upts
->
files
A parser, type checker and evaluator for a type theory with universe polymorphism
root
Language
LICENSE
REPL.hs
universe.pts
upts.cabal
files
changes
fork
download .zip
darcs get url
Packs built at 2014-04-03 17:49:05 UTC