# content
The Lisp in the Cellar: Dependent Types that Live Upstairs (via LeahNeukirchen) — discussion

#clojure #pdf #plt