casual, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.bnewbold.net/casual/atom?h=master 2021-11-14T00:03:09Z initial work on term rewrite rule parsing 2021-11-14T00:03:09Z Bryan Newbold bnewbold@robocracy.org 2021-11-14T00:02:14Z urn:sha1:6666f23e6b8a54e402f2aaf9e64f658f3d7fae29 notes on term rewriting 2021-11-12T01:08:15Z Bryan Newbold bnewbold@robocracy.org 2021-11-12T01:08:15Z urn:sha1:4955c32416cc7a825475fe58cf7937c954537b43 commit old plan file 2021-11-12T01:07:53Z Bryan Newbold bnewbold@robocracy.org 2021-11-12T01:07:53Z urn:sha1:468bf78c172a483d8d6dd40a28230c9a3e771b94 more canonicalization tests, from old plan.txt 2021-11-12T01:07:41Z Bryan Newbold bnewbold@robocracy.org 2021-11-12T01:07:41Z urn:sha1:7552b304fc6847c0558ae483647c93e4a08a445f small test additions 2021-11-08T05:45:55Z Bryan Newbold bnewbold@robocracy.org 2021-11-08T05:45:55Z urn:sha1:445361d76bdd6139161c5d524eb1fca2e43b527e crate-local Result alias for less verbose type signatures 2021-10-25T07:22:25Z Bryan Newbold bnewbold@robocracy.org 2021-10-25T07:22:25Z urn:sha1:e791ad57bcf2cb4460e254b458a631b5a5a48351 refactor into lib-style crate, and add some early tests 2021-10-25T07:15:04Z Bryan Newbold bnewbold@robocracy.org 2021-10-25T07:15:04Z urn:sha1:b3141319b98199d75f1317ef3754c0b6b14b1f78 constants; clean up product and sum code 2021-10-25T00:50:04Z Bryan Newbold bnewbold@robocracy.org 2021-10-25T00:50:04Z urn:sha1:04c53bb88bfbbc5c65b25104959c66d06e2b4fa1 more progress 2021-10-24T18:51:03Z Bryan Newbold bnewbold@robocracy.org 2021-10-24T18:51:03Z urn:sha1:76a5c98ef5588e94301f2d1b44b51907e5004abe progress 2021-10-24T07:58:49Z Bryan Newbold bnewbold@robocracy.org 2021-10-24T07:58:49Z urn:sha1:5f501b3654d6b36e850044ba492dd7bc7ee56438