Notes concerning “Program calculator”

• Vaughan Pratt and Henry Baker’s COMFY control-flow combinators 02021-03-04 (updated 02021-03-20) (8 minutes)
• The algebra of N-ary relations 02021-06-14 (updated 02021-07-27) (4 minutes)
• An algebra of partial functions for interactively composing programs 02021-10-10 (updated 02021-12-30) (3 minutes)
• Example based regexp 02021-10-24 (updated 02021-12-30) (5 minutes)