lobste_rs feeds.twtxt.net Tue, May 20 11:34PM (35w ago) The Lisp in the Cellar: Dependent Types that Live Upstairs Comments ⌘ Read more ⤋ Read More