How to Implement Type Theory in an Hour(vimeo.com)3 points·by jesperht·قبل 7 سنوات·0 commentsvimeo.comHow to Implement Type Theory in an Hourhttps://vimeo.com/2866529340 commentsPost comment—