/reasoning-with-types

A presentation about using types to improve interfaces/data structures

No issues in this repository yet.