| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| better-thinning | WIP : use smarter weakenings. | Chloe Brown | 2 years | |
| master | Use co-deBruijn syntax in logical relation proof. | Chloe Brown | 2 years | |
| only-codebruijn | Add test driver. | Chloe Brown | 22 months | |
| semantics-with-proof | WIP: define semantics in Idris. | Chloe Brown | 2 years | |
 |
index : yellowsquid/church-eval.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |