Code - benchristel/benchristel.github.io GitHub Wiki

In ProgrammingAsTheoryBuilding, PeterNaur refers to "code" as "program text", which I think is delightful.