2

The Lisp in the Cellar: Dependent Types that Live Upstairs [PDF] (zenodo.org)

submitted 1 year ago by cm0002@lemmy.world to c/lisp@programming.dev

0 comments fedilink hide all child comments

no comments (yet)

sorted by: hot top new old

there doesn't seem to be anything here

this post was submitted on 20 May 2025

2 points (75.0% liked)

Lisp

504 readers

1 users here now

founded 3 years ago

MODERATORS

Ategon@programming.dev