casual/notes, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.bnewbold.net/casual/atom?h=master 2021-11-12T01:08:15+00:00 notes on term rewriting 2021-11-12T01:08:15+00:00 Bryan Newbold bnewbold@robocracy.org 2021-11-12T01:08:15+00:00 urn:sha1:4955c32416cc7a825475fe58cf7937c954537b43 commit old plan file 2021-11-12T01:07:53+00:00 Bryan Newbold bnewbold@robocracy.org 2021-11-12T01:07:53+00:00 urn:sha1:468bf78c172a483d8d6dd40a28230c9a3e771b94