txt.sour.is @<lobste_rs https://feeds.twtxt.net/lobste_rs/twtxt.txt> "**The Lisp in the Cellar: Dependent Types that Live Upstairs** Comments ⌘ Read more"

Join

feeds.twtxt.net

The Lisp in the Cellar: Dependent Types that Live Upstairs
Comments ⌘ Read more

⤋ Read More

Participate

Login to join in on this yarn.