‏‎Type Checking Your Project with Pyre‎‏

A hands-on tutorial for on-boarding your project to type checking. We'll cover the logistics of setting up Pyre for your project, how to get to zero type errors in order to start from a clean slate, and the basics of gradual typing.