Type Theory Forall: What Is Type Theory and What Properties We Should Care About typetheoryforall.com 1 points by matt_d 6 hours ago