Semantic Systems
Dense field guides for reading code, arguments, and meaning.
TypeScript Reading
Annotated source files covering JavaScript runtime behavior, TypeScript’s type layer, and the seam between them.
10 chapters
Logic & Linguistics (English)
Assertion, presupposition, scope, polarity, monotonicity, and modality.
4 chapters