A seminar with Avinoam Henig, Sarah Lawrence College thesis student.
Billions of people own smartphones capable of running the same powerful programs that run on conventional computers. Writing those programs, however, has historically required a keyboard. Smartphones have virtual keyboards, which are fine for tweets, but lousy for coding. In this seminar, we explore how the mathematical theory of types can bring the empowering joy of programming to everyone with a touchscreen device.