This ∧ That

This is a weigh station for my half-baked ideas. Hope you like parentheticals, footnotes, and bad jokes (and I guess logic, type theory, computation, etc.).