Formality, a (proof)gramming language featuring optimal reductions
3 by LightMachine | 0 comments on Hacker News.
Subscribe to:
Post Comments (Atom)
-
Wuhan lab staff sought hospital care before Covid-19 outbreak disclosed 39 by pseudolus | 10 comments on Hacker News.
-
Soup-salad-sandwich space 4 by fanf2 | 0 comments on Hacker News.
-
By BY MAGGIE ASTOR AND NICK CORASANITI from NYT U.S. https://ift.tt/35D0FNL
No comments:
Post a Comment