How to Implement Type Theory in an Hour Posted by jesperht on Tuesday February 19, 2019 @04:17AM from the vimeo.com dept. https://vimeo.com/286652934 ( no comments | 3 points | on HN )
There are no comments yet.