27.12.20

My First Type Theory


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

No comments: