The Lisp in the Cellar: Dependent types that live upstairs [pdf]zenodo.org88 pointstodsacerdotia year agoDownloadable: https://zenodo.org/records/15424968/files/deputy-els.pdf