Hacker News new | ask | show | jobs
How to Implement Type Theory in an Hour (vimeo.com)
3 points by jesperht 2679 days ago