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: 2025-09-20T21:19:39.846Z