Presentation on "Type-Directed TDD in Rust" for Pittsburgh Code and Supply - View it on GitHub