Vol. I · No. 0 26th September, 2026

Notes & Thoughts upon Type Theory, Mathematics, Philosophy, and the Art of Decision

Notes·Thoughts·Things·Heather·About

Notes

Shorter working entries: definitions, lemmas, and things worth writing down.

Nothing has yet been set in type.

❧

Set in EB Garamond & IM Fell English. Composed on the Press, a small engine of Rust.

Atom feed · Index of subjects ·