How to Implement Type Theory in an Hourvimeo.com3 points·jesperht··0 commentsOpen articleSaveView on HN