Notes concerning “Tree rewriting”
IRC bots with object-oriented equational rewrite rules
2007 to 2009 (7 minutes)
Term rewriting
2017-07-19 (4 minutes)