27.12.20

 

My First Type Theory


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

Labels: , , ,


Comments: Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?