About

∃xistential Type is a blog for people who like type and types. That is "type" in the sense of typefaces and typography, and "types" as in programming languages, and logic and type theory.