Notes concerning “Term rewriting”

• Qfitzah: a minimal term-rewriting language 02021-09-10 (updated 02021-12-31) (62 minutes)
• Qfitzah internals 02021-09-24 (updated 02021-12-30) (2 minutes)
• Deriving binary search 02021-10-01 (updated 02021-12-30) (5 minutes)