cubicaltt.git
2015-03-24 Simon Huberadded compElem and elimComp (still buggy)
2015-03-24 Simon Huberpairs now associate to the right
2015-03-24 Simon HuberlemTest not in prelude..
2015-03-24 Simon Huberadded simplify for Trans and Comp
2015-03-24 Simon Huberremoved Map. here and there
2015-03-24 Simon Huberfixed bug; switched a with b in hiso
2015-03-24 Simon Huberenhanced and renamed emacs mode
2015-03-23 AndersFinish adding glue
2015-03-23 AndersAdd evaluation of Glue and GlueElem
2015-03-20 Simon Huberfixed compLine; improved error msg for @@
2015-03-20 Simon Huberdont crash the resolver if expression could not be...
2015-03-20 AndersUpdate .gitignore
2015-03-20 AndersFix printing of formulas in AppFormula
2015-03-20 AndersAdd support for multiple bindings of dimensions
2015-03-20 AndersFix printing of systems
2015-03-20 AndersFix bug in gensym and add Square
2015-03-19 AndersFinish implementing comp
2015-03-19 AndersParsing of systems
2015-03-19 AndersStarted adding comp
2015-03-19 Simon Huberthe endpoints of a path should match the Id arguments...
2015-03-19 Simon Huberthrow out Binder
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