🦞🌯 Lobster Roll

Stories by jtm

The Dusa Programming Language (dusa.rocks)
Untangling mechanized proofs (plv.csail.mit.edu)
CMU 15-819 - Homotopy Type Theory (cs.cmu.edu)
Introduction to Operating System Abstractions using Plan 9 [2007] (lsub.org)