Learn how types can help you be a better programmer! We'll learn some functional programming, and some type theory principles that apply no matter what language you're using. Prerequisite: Python, on the level of 6.1010 [6.009].

Longer description and more details at https://sipb.mit.edu/iap/.