← Feed @brianokken@fosstodon.org Post #1255119 2026-04-15 03:49 UTC Pushed version 0.6 of Lean TDD and just noticed all of the footnotes are wrong. 😢🤦♂️ Too tired. I’ll fix it tomorrow. Replies (0) No replies.