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