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