projects / cubicaltt.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cubicaltt.git
2015-03-18 AndersStart adding Id types commit | commitdiff | tree | snapshot
2015-03-18 AndersRemove Neutral data type commit | commitdiff | tree | snapshot
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.