Notes concerning “Monoids”

• Monoid prefix sum 02020-06-05 (13 minutes)
• Line-numbered ISAM buffers 02020-07-18 (updated 02020-07-23) (14 minutes)