A Taste of Type Theory • Bartosz Milewski • YOW! 2019 | GOTO Conferences | Podwise