cubicaltt.git
2015-03-18 Simon Hubershow transport like we parse it; whitespace
2015-03-18 Simon Huberadded app of a formula
2015-03-18 AndersAdd Id, Path, AppFormula and Trans.
2015-03-18 AndersAdd Connections
2015-03-18 AndersRename to cubical
2015-03-18 AndersStart adding Id types
2015-03-18 AndersRemove Neutral data type
2015-03-18 Anders MörtbergClean Resolver
2015-03-18 AndersStart working on cubical type theory
2015-02-26 AndersInitial commit
2015-02-26 mortbergInitial commit