Formality, a (proof)gramming language featuring optimal reductions
3 by LightMachine | 0 comments on Hacker News.
Tuesday, 10 September 2019
Hacker News
Home
Hacker News
New top story on Hacker News: Formality, a (proof)gramming language featuring optimal reductions
No comments:
Post a Comment