New top story on Hacker News: Formality, a (proof)gramming language featuring optimal reductions Posted By: Rushan Skywalker 5:27 PM Leave a Reply Formality, a (proof)gramming language featuring optimal reductions 3 by LightMachine | 0 comments on Hacker News. Tweet Share Share Share Share
0 comments: