projects / cubicaltt.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cubicaltt.git
2015-03-19 Simon Hubertime to wake up commit | commitdiff | tree | snapshot
2015-03-19 Simon Huberreintroduced Convertible typeclass; fixed conv for... commit | commitdiff | tree | snapshot
2015-03-19 Simon Huberfixed support for Env commit | commitdiff | tree | snapshot
2015-03-19 Anders MörtbergStart adding inferType commit | commitdiff | tree | snapshot
2015-03-19 Anders MörtbergAdd 0 and 1 to parser and resolver commit | commitdiff | tree | snapshot
2015-03-19 Anders MörtbergUse checkPath when checking IdP commit | commitdiff | tree | snapshot
2015-03-19 Anders MörtbergAdd .gitignore commit | commitdiff | tree | snapshot
2015-03-19 Anders MörtbergNames are now strings commit | commitdiff | tree | snapshot
2015-03-19 Anders MörtbergAdd J commit | commitdiff | tree | snapshot
2015-03-19 Anders MörtbergFix a typo in the parser commit | commitdiff | tree | snapshot
2015-03-18 Simon Huberadded transport commit | commitdiff | tree | snapshot
2015-03-18 Simon Hubershow transport like we parse it; whitespace commit | commitdiff | tree | snapshot
2015-03-18 Simon Huberadded app of a formula commit | commitdiff | tree | snapshot
2015-03-18 AndersAdd Id, Path, AppFormula and Trans. commit | commitdiff | tree | snapshot
2015-03-18 AndersAdd Connections commit | commitdiff | tree | snapshot
2015-03-18 AndersRename to cubical commit | commitdiff | tree | snapshot
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.