LeanBlog

All posts

Topic

data types

← All posts

Recent posts

Aug 3, 2026
Sum, a small algebra of choices
1 min read

Built with LeanBlog, Verso, Tailwind, and daisyUI.