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