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