|
algebra
|
feat(hott): small changes in init and category
|
2015-05-26 21:37:01 -07:00 |
|
cubical
|
feat(hott): add recursor attribute to hits
|
2015-05-26 21:37:01 -07:00 |
|
hit
|
feat(hit): start using induction tactic
|
2015-05-26 21:37:01 -07:00 |
|
init
|
feat(hott): small changes in init and category
|
2015-05-26 21:37:01 -07:00 |
|
types
|
refactor(hott/*): remove 'Module:' lines
|
2015-05-23 20:52:58 +10:00 |
|
.gitignore
|
chore(.gitignore): update
|
2015-03-28 23:29:41 -04:00 |
|
.project
|
feat(*): add support for separate HoTT library
|
2014-12-05 14:34:02 -08:00 |
|
arity.hlean
|
refactor(hott/*): remove 'Module:' lines
|
2015-05-23 20:52:58 +10:00 |
|
core.hlean
|
refactor(hott/*): remove 'Module:' lines
|
2015-05-23 20:52:58 +10:00 |
