projects / cubicaltt.git / shortlog
| 2015-03-18 | Simon Huber | show transport like we parse it; whitespace | commit | commitdiff | tree | snapshot |
| 2015-03-18 | Simon Huber | added app of a formula | commit | commitdiff | tree | snapshot |
| 2015-03-18 | Anders | Add Id, Path, AppFormula and Trans. | commit | commitdiff | tree | snapshot |
| 2015-03-18 | Anders | Add Connections | commit | commitdiff | tree | snapshot |
| 2015-03-18 | Anders | Rename to cubical | commit | commitdiff | tree | snapshot |
| 2015-03-18 | Anders | Start adding Id types | commit | commitdiff | tree | snapshot |
| 2015-03-18 | Anders | Remove Neutral data type | commit | commitdiff | tree | snapshot |
| 2015-03-18 | Anders Mörtberg | Clean Resolver | commit | commitdiff | tree | snapshot |
| 2015-03-18 | Anders | Start working on cubical type theory | commit | commitdiff | tree | snapshot |
| 2015-02-26 | Anders | Initial commit | commit | commitdiff | tree | snapshot |
| 2015-02-26 | mortberg | Initial commit | commit | commitdiff | tree | snapshot |