How to implement type theory in an hourvimeo.com2 points·creata··0 commentsOpen articleSaveView on HN