]> git.xn--bdkaa.com Git - cubicaltt-web.git/shortlog
projects / cubicaltt-web.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cubicaltt-web.git
2015-03-18 Anders MörtbergClean Resolver commit | commitdiff | tree | snapshot
2015-03-18 AndersStart working on cubical type theory commit | commitdiff | tree | snapshot
2015-02-26 AndersInitial commit commit | commitdiff | tree | snapshot
2015-02-26 mortbergInitial commit commit | commitdiff | tree | snapshot
My fork of cubicaltt with web interface using Reflex.