Tuesday, 10 September 2019

New top story on Hacker News: Formality, a (proof)gramming language featuring optimal reductions

Formality, a (proof)gramming language featuring optimal reductions
3 by LightMachine | 0 comments on Hacker News.


No comments:

Post a Comment

Trump agriculture secretary’s idea for money-saving meal prompts derision

Brooke Rollins said Americans can save money by eating a tortilla, a piece of broccoli and a piece of chicken – and ‘one other thing’ US ...