Notes concerning “Laziness”

• Iterative string formatting 2013-05-17 (9 minutes)
• Simple dependencies in software 2014-06-05 (9 minutes)
• Separating implementation, optimization, and proofs 2019-06-26 (updated 2019-07-22) (41 minutes)