cm0002@lemmy.world to Lisp@programming.dev · 1 month agoThe Lisp in the Cellar: Dependent Types that Live Upstairs [PDF]zenodo.orgexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down11
arrow-up12arrow-down1external-linkThe Lisp in the Cellar: Dependent Types that Live Upstairs [PDF]zenodo.orgcm0002@lemmy.world to Lisp@programming.dev · 1 month agomessage-square0linkfedilink
