yellowsquid/church-eval.git/src/Total/Term, branch better-thinning [no description] http://git.yellowsquid.uk/yellowsquid/church-eval.git/atom?h=better-thinning 2023-06-15T15:09:42Z WIP : use smarter weakenings. 2023-06-15T15:09:42Z Chloe Brown chloe.brown.00@outlook.com 2023-06-15T15:09:42Z urn:sha1:cedc6109895a53ce6ed667e0391b232bf5463387 Use co-deBruijn syntax in logical relation proof. 2023-06-09T15:00:39Z Chloe Brown chloe.brown.00@outlook.com 2023-06-09T15:00:39Z urn:sha1:f910e142ce7c10f8244ecfa40e41756fb8c8a53f Many proofs are still missing. Because they are erased, the program still runs fine without them. Use CoDebruijn syntax at top level. 2023-06-08T16:17:04Z Chloe Brown chloe.brown.00@outlook.com 2023-06-08T16:17:04Z urn:sha1:d5794f15b40ef4c683d713ffad027e94f2caf17e