Introduction

Before the Agora on that day, a messenger told Hypatia: the Cyrilists were not wrong after all—“Two millennia then three centuries then fifteen years into the future, when across the Chora Alexandrians can finally reach every corner of 𝕍, you shall meet my teacher again.”

The author of the source code of the Agora acknowledges the contributions of and extends their profound appreciation for (in cryptographically secure random order):

• TODO insert names.

Roadmap

• Linguistic Modalities
  • Generalized Quantifiers
  • Tenses
  • Degrees of Epistemic Transitivity
• Logic 2030
• • oh does liquid tensor experiment have sequels? can we formulate more stuffs condensed, analytic, shtukas, motives, blahblah?
• Project Kanamori (might also consider a Chinese version)