yellowsquid/cc-obs.git/src/CC/Term, 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