• 00-draft.md
• 01-introduction.md
• 02-03-basic.md
• 04-05-verification.md
• 06-07-history-and-lambda-calculus.md
• 08-mutable-state-considered-harmful.md
• 09-monads.md

Last update: 2026-09-23T17:20:49.996Z