The Lisp in the Cellar: Dependent types that live upstairs [pdf] Y Combinator 2025-05-20 13:38 Source Original site Comments