| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Prove conversion is a generic equality. | Chloe Brown | 3 years | |
| nameless | Bundle well-formed reductions. | Chloe Brown | 2 years | |
 |
index : yellowsquid/correct-obs.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |