cubicaltt.git
2015-03-19 Simon Hubertime to wake up
2015-03-19 Simon Huberreintroduced Convertible typeclass; fixed conv for...
2015-03-19 Simon Huberfixed support for Env
2015-03-19 Anders MörtbergStart adding inferType
2015-03-19 Anders MörtbergAdd 0 and 1 to parser and resolver
2015-03-19 Anders MörtbergUse checkPath when checking IdP
2015-03-19 Anders MörtbergAdd .gitignore
2015-03-19 Anders MörtbergNames are now strings
2015-03-19 Anders MörtbergAdd J
2015-03-19 Anders MörtbergFix a typo in the parser
2015-03-18 Simon Huberadded transport
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