| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-04-29 | fix parser bug, fix beta reduction for setcoerce, disambiguate set coerce in ↵ | tslil | |
| parser | |||
| 2026-04-28 | snapshot of working through instances/singatures <> sets/elements | tslil | |
| 2026-04-27 | prepare for more work on signatures, in particular this means processing ↵ | tslil | |
| records in telescoped contexts rework ElementValue, CheckedElement to be type aliases for the generic version over Term : Type | |||
| 2026-04-27 | basic signature functionality, missing extension signatures | tslil | |
| 2026-04-27 | refactor equality checking and fields as we start to build towards signatures | tslil | |
 |
index : makkai | |
| Type theory implementation | git repository hosting |
| aboutsummaryrefslogtreecommitdiff |