| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| better-thinning | WIP : use smarter weakenings. | Chloe Brown | 23 months | |
| master | Use co-deBruijn syntax in logical relation proof. | Chloe Brown | 23 months | |
| only-codebruijn | Add test driver. | Chloe Brown | 15 months | |
| semantics-with-proof | WIP: define semantics in Idris. | Chloe Brown | 22 months | |
| Age | Commit message | Author | ||
| 2023-06-09 | Use co-deBruijn syntax in logical relation proof.master | Chloe Brown | ||
| 2023-06-08 | Use CoDebruijn syntax at top level. | Chloe Brown | ||
| 2023-06-08 | Fully expand thinnings. | Chloe Brown | ||
| 2023-06-06 | Add a pretty printer. | Chloe Brown | ||
| 2023-06-06 | Write an encoding for data types. | Chloe Brown | ||
| 2023-06-01 | Give a logical relation template. | Chloe Brown | ||
| 2023-06-01 | Define terms with substitution as an operation. | Chloe Brown | ||
| 2023-06-01 | Add some properties of thinnings. | Chloe Brown | ||
| 2023-05-24 | Give a defunctionalised fuel-powered interpreter. | Chloe Brown | ||
| 2023-05-24 | Make normal forms a property. | Chloe Brown | ||
| [...] | ||||
 |
index : yellowsquid/church-eval.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |