☆ Yσɠƚԋσʂ ☆@lemmy.mlM to Lisp Community@lemmy.mlEnglish · 22 days agoThe Lisp in the Cellar: Dependent Types that Live Upstairs [PDF]zenodo.orgexternal-linkmessage-square0linkfedilinkarrow-up16arrow-down10cross-posted to: lisp@programming.dev
arrow-up16arrow-down1external-linkThe Lisp in the Cellar: Dependent Types that Live Upstairs [PDF]zenodo.org☆ Yσɠƚԋσʂ ☆@lemmy.mlM to Lisp Community@lemmy.mlEnglish · 22 days agomessage-square0linkfedilinkcross-posted to: lisp@programming.dev