lobste_rs feeds.twtxt.net Mon, Jul 22 09:05 (22w ago) The algebra (and calculus!) of algebraic data types Comments ⌘ Read more ⤋ Read More