Notes concerning “Ropes”

• Ropes with constant-time concatenation and equality comparisons with monoidal hash consing 02021-07-27 (15 minutes)
• Balanced ropes 02021-10-16 (updated 02021-12-30) (7 minutes)