projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7fb332) | patch
Start working on cubical type theory
authorAnders <mortberg@chalmers.se>
Mon, 16 Mar 2015 16:09:28 +0000 (17:09 +0100)
committerAnders Mörtberg <mortberg@chalmers.se>
Wed, 18 Mar 2015 08:43:36 +0000 (09:43 +0100)
commit363097525b1958b8b1c345fbec73872d5c2936e2
tree72062ad85a585d30e5120ef54e699299b52260e7tree | snapshot
parenta7fb332b67b31ab9e2cc2f2b36a550bbf3259e37commit | diff
Start working on cubical type theory
Eval.hs diff | blob | blame | history
Exp.cf diff | blob | blame | history
Main.hs diff | blob | blame | history
Resolver.hs diff | blob | blame | history
TT.hs diff | blob | blame | history
TypeChecker.hs diff | blob | blame | history
examples/nat.tt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.