yellowsquid/church-eval.git/src/Term, branch only-codebruijn [no description] http://git.yellowsquid.uk/yellowsquid/church-eval.git/atom?h=only-codebruijn 2024-01-22T12:11:20Z Fix some bug? 2024-01-22T12:11:20Z Chloe Brown chloe.brown.00@outlook.com 2024-01-22T12:11:20Z urn:sha1:f0f44fe7815435836bc625e837e891188ae8d801 I don't really know. I haven't read this in a long time. Compile to local constant function. 2023-07-24T13:27:48Z Chloe Brown chloe.brown.00@outlook.com 2023-07-24T13:27:48Z urn:sha1:5d5807f215805f1e235a0ad0546f995dd19a6767 Make unions a pseudo-built-in type. 2023-07-04T12:20:46Z Chloe Brown chloe.brown.00@outlook.com 2023-07-04T12:20:46Z urn:sha1:29a05f990dd945be30995c4f46b91b5f7c83abd9 Add more built-in functions. 2023-07-04T11:29:30Z Chloe Brown chloe.brown.00@outlook.com 2023-07-04T11:29:30Z urn:sha1:8791efda0cf7392144117cf780bfb6d687d2da5e Add ability to compile terms to scheme. 2023-07-03T17:23:19Z Chloe Brown chloe.brown.00@outlook.com 2023-07-03T17:23:19Z urn:sha1:5fdeacb6f61d4c7db0187a5cf85be90aae1dfa75 Add literals as primitive term. 2023-07-03T17:21:50Z Chloe Brown chloe.brown.00@outlook.com 2023-07-03T17:21:50Z urn:sha1:9039055d9a994bde34e0c0bfedad1a72cd9c17a7 Add encodings for containers. 2023-06-22T16:57:48Z Chloe Brown chloe.brown.00@outlook.com 2023-06-22T16:57:48Z urn:sha1:6385ecf96cd60885c221e3144b5a5ec63eb5c831 Remove useless junk. 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