Hacker News new | ask | show | jobs
Naïve Type Theory [video] (youtube.com)
2 points by nolta 1793 days ago