Introductory Paragraph from a Book on Type Theory: A Wild Adventure

Now I want to start an actual scientific paper in this style. :P

Wow, this intro to type theory book doesn’t mess around. pic.twitter.com/ESiSvmMPV9

— Fogus’ Wake (@fogus) June 13, 2019

(Tip of the cap to David Bindel.)