index
Learn Lean 4 by building tend, a personal task manager. Written for Haskell hackers; posts are numbered, read them in order.
2026-07-26Welcome2026-07-26001: Six Lean lessons for the recovering Haskeller2026-07-31002: Types do the driving
Learn Lean 4 by building tend, a personal task manager. Written for Haskell hackers; posts are numbered, read them in order.
2026-07-26 Welcome2026-07-26 001: Six Lean lessons for
the recovering Haskeller2026-07-31 002: Types do the
driving