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.


-
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Trump threatens to escalate trade war amid confusion over new tariff rates

US president announces tariffs of up to 200% on foreign drugs and 50% on copper as he continues to shift plans Donald Trump vowed to furth...