summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Anders [Wed, 18 Mar 2015 10:53:37 +0000 (11:53 +0100)]
Rename to cubical
Anders [Wed, 18 Mar 2015 10:50:30 +0000 (11:50 +0100)]
Start adding Id types
Anders [Tue, 17 Mar 2015 13:59:45 +0000 (14:59 +0100)]
Remove Neutral data type
Anders Mörtberg [Wed, 18 Mar 2015 09:15:33 +0000 (10:15 +0100)]
Clean Resolver
Anders [Mon, 16 Mar 2015 16:09:28 +0000 (17:09 +0100)]
Start working on cubical type theory
Anders [Thu, 26 Feb 2015 13:35:29 +0000 (14:35 +0100)]
Initial commit
mortberg [Thu, 26 Feb 2015 13:27:28 +0000 (14:27 +0100)]
Initial commit
projects / cubicaltt.git / log