#monads

• do Notation for Monads
  Ari 2026-03-25
• The Monad Type Class
  Ari 2026-03-24
• Monads in FP in Lean
  Ari 2026-03-23
• Monads: What Is?
  Ari 2026-03-22