Independent SubmissionSimonRequest for Comments: 0teaq.orgCategory: Informational teaq.orgAbstractNotes on type theory and programming languages.Table of Contents1. Writing........................................................................12. Contact........................................................................23. Feed........................................................................3[Page 0]