New top story on Hacker News: Dependent Type Systems as Macros [pdf] Get link Facebook X Pinterest Email Other Apps January 20, 2020 Dependent Type Systems as Macros [pdf] 8 by luu | 0 comments on Hacker News. Get link Facebook X Pinterest Email Other Apps Comments
Comments
Post a Comment