yellowsquid/church-eval.git/src/Encoded, branch semantics-with-proof [no description] http://git.yellowsquid.uk/yellowsquid/church-eval.git/atom?h=semantics-with-proof 2023-06-22T12:52:03Z WIP: define semantics in Idris. 2023-06-22T12:52:03Z Chloe Brown chloe.brown.00@outlook.com 2023-06-22T12:52:03Z urn:sha1:41d1c4a059466833325320e1d494d99af9d36cb2 Add sums, vectors and arithmetic encodings. 2023-06-21T15:05:44Z Chloe Brown chloe.brown.00@outlook.com 2023-06-21T15:05:44Z urn:sha1:0ddaf1b2c9ca66cf0ae03d2f6ad792c7885dfc32 Also define pretty printing of terms. Define semantics and encode types up to pairs. 2023-06-16T17:01:33Z Chloe Brown chloe.brown.00@outlook.com 2023-06-16T17:01:33Z urn:sha1:af7c222cc3e487cd3ca8b5dd8749b7e258da7c7c