yellowsquid/cc-obs.git, branch master [no description] http://git.yellowsquid.uk/yellowsquid/cc-obs.git/atom?h=master 2023-03-26T02:50:28Z Add type checking. 2023-03-26T02:50:28Z Chloe Brown chloe.brown.00@outlook.com 2023-03-26T02:50:28Z urn:sha1:3649c9965e787c9cb0dc1cedc4400cdec4c5b8a2 Currently, there is Set in Set. Next step is to add universe levels. Clean-up raw term constructors and parser. 2023-03-25T17:13:16Z Chloe Brown chloe.brown.00@outlook.com 2023-03-25T17:13:16Z urn:sha1:88ce0ee4ed72f75775da9c96668cad3e97554812 Extract parsing and evaluation to new modules. 2023-03-25T16:52:15Z Chloe Brown chloe.brown.00@outlook.com 2023-03-25T16:52:15Z urn:sha1:43463df9899d00f0f86c3b655b84a5d5ce75402d Extract term printer to new module. 2023-03-25T16:43:28Z Chloe Brown chloe.brown.00@outlook.com 2023-03-25T16:43:28Z urn:sha1:39d9c956a98a0aecb4e2913d3df0cc8eb0e78f69 Extract RawTerm to a new module. 2023-03-25T16:29:44Z Chloe Brown chloe.brown.00@outlook.com 2023-03-25T16:29:44Z urn:sha1:b10fb1044d48fe75f0b77a4d592bf36121c692df Extract thinnings to a new module. 2023-03-25T16:15:51Z Chloe Brown chloe.brown.00@outlook.com 2023-03-25T16:15:51Z urn:sha1:0225730f5461e693386031a8f06085d2354d6537 Also make the interface more abstract, so more efficient representations can be swapped in with less cost. Extract Terms and Values to a new module. 2023-03-25T15:41:36Z Chloe Brown chloe.brown.00@outlook.com 2023-03-25T15:41:36Z urn:sha1:dc600f47e15ff59a46890ca32e5571e24ce00983 Extract Name to a new module. 2023-03-25T15:35:43Z Chloe Brown chloe.brown.00@outlook.com 2023-03-25T15:35:43Z urn:sha1:2af2175f6b633f717c0fb64e05310a294fe168a8 Add a normaliser for untyped lambda terms. 2023-03-25T03:56:05Z Chloe Brown chloe.brown.00@outlook.com 2023-03-25T03:56:05Z urn:sha1:b97d796c45a4ffdb475c03330c62ff8be2911d85 Initial commit 2023-03-24T21:28:20Z Chloe Brown chloe.brown.00@outlook.com 2023-03-07T16:56:08Z urn:sha1:91e2eaf87d10afbfcaeced4f125683f9bb6381df