Media Summary: HoTTEST Summer School Colloquium There is a considerable distance between the formal rules What's in a language? Dr Laurie Tratt breaks it down by Rust really hits a sweet spot with respect to
Jon Sterling How To Code Your Own Type Theory - Detailed Analysis & Overview
HoTTEST Summer School Colloquium There is a considerable distance between the formal rules What's in a language? Dr Laurie Tratt breaks it down by Rust really hits a sweet spot with respect to [Thesis Defense] The implementation and semantics
