My First Type Theory

Who knew? Add eyeballs and rhymes, and type theory becomes cute! An introductory video by Arved Friedemann.