April 21, 2023
11:44 p.m.
Thanks Jelle and Pradeep for organizing! Here are slides from my talk on type coverage tooling: https://drive.google.com/file/d/11t2ethNwt3O9sdO7BABo7GHqeQWsFp20/view?usp=s...