• 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-07-30T16:34:45.726Z