Notes concerning “Qfitzah”

• 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)