Types and Tests ∘ Agile India, Bangalore, India ∘ 2020-10-16

Source (github)
Slides (pdf)
Video (youtube)