Independent Submission SimonRequest for Comments: 0 teaq.orgCategory: Informationalteaq.orgAbstractNotes on type theory and programming languages.Status of This MemoDistribution of this memo is unlimited.Figure 1: an introductionTable of Contents1. Writing 12. Contact 23. Feed 3Simon Informational [Page 0][legal]