Notes on Type Theory for absolute beginners by Hanneli Tavante - Tech Talk