]> git.xn--bdkaa.com Git - cubicaltt-web.git/log
cubicaltt-web.git
10 years agoStart working on cubical type theory
Anders [Mon, 16 Mar 2015 16:09:28 +0000 (17:09 +0100)]
Start working on cubical type theory

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

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