projects / cubicaltt.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cubicaltt.git
9 years agoClean Resolver
commit | commitdiff | tree
Anders Mörtberg [Wed, 18 Mar 2015 09:15:33 +0000 (10:15 +0100)]
Clean Resolver

9 years agoStart working on cubical type theory
commit | commitdiff | tree
Anders [Mon, 16 Mar 2015 16:09:28 +0000 (17:09 +0100)]
Start working on cubical type theory

9 years agoInitial commit
commit | commitdiff | tree
Anders [Thu, 26 Feb 2015 13:35:29 +0000 (14:35 +0100)]
Initial commit

9 years agoInitial commit
commit | commitdiff | tree
mortberg [Thu, 26 Feb 2015 13:27:28 +0000 (14:27 +0100)]
Initial commit

My fork of cubicaltt with web interface using Reflex.