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