| 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-22 | WIP: define semantics in Idris.semantics-with-proof | Chloe Brown | ||
| 2023-06-21 | Add sums, vectors and arithmetic encodings. | Chloe Brown | ||
| 2023-06-16 | Define semantics and encode types up to pairs. | Chloe Brown | ||
| 2023-06-16 | Reset using only co-de Bruijn syntax. | Chloe Brown | ||
| 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 | ||
| [...] | ||||
 |
index : yellowsquid/church-eval.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |