Hacker Neus
The Lisp in the Cellar: Dependent types that live upstairs [pdf]
(zenodo.org)
83 points
by todsacerdoti
a day ago |
19 comments
Downloadable:
https://zenodo.org/records/15424968/files/deputy-els.pdf
