| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Prove conversion is a generic equality. | Chloe Brown | 2 years | |
| nameless | Bundle well-formed reductions. | Chloe Brown | 2 years | |
| Age | Commit message | Author | ||
| 2023-04-08 | Prove conversion is a generic equality.HEADmaster | Chloe Brown | ||
| 2023-04-08 | Define generic equality. | Chloe Brown | ||
| 2023-04-08 | Define substitution judgements. | Chloe Brown | ||
| 2023-04-08 | Prove weakening preserves reduction. | Chloe Brown | ||
| 2023-04-08 | Reduce code duplication. | Chloe Brown | ||
| 2023-04-07 | Prove weakening preserves typing judgements. | Chloe Brown | ||
| 2023-04-07 | Correct definition of Eta conversion. | Chloe Brown | ||
| 2023-04-07 | Prove weakening interacts well with extension. | Chloe Brown | ||
| 2023-04-07 | Fix operator fixities and imports for Name. | Chloe Brown | ||
| 2023-04-07 | Prove many properties about substitutions. | Chloe Brown | ||
| [...] | ||||
 |
index : yellowsquid/correct-obs.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |