Comments by "DeoMachina" (@DeoMachina) on "Computer Science ∩ Mathematics (Type Theory) - Computerphile" video.

  1. I like listening to Dr Thor here But I'm gonna be honest, I got lost about 5 minutes in :(
    55