Independent SubmissionSimonRequest for Comments: 0teaq.orgCategory: Informational teaq.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........................................................................3[Page 0]