| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-04-23 | Prove escape theorems. | Chloe Brown | |
| 2023-04-16 | Define generic equality. | Chloe Brown | |
| Judgemental equality is a trivial instance. | |||
 |
index : yellowsquid/correct-obs.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |