Hacker News New top story on Hacker News: Formality, a (proof)gramming language featuring optimal reductions by NEWs For Our Knowledge on 9/11/2019 05:51:00 am 0 Comment SHARE Formality, a (proof)gramming language featuring optimal reductions 3 by LightMachine | 0 comments on Hacker News.
0 comments: