Formality, a (proof)gramming language featuring optimal reductions
3 by LightMachine | 0 comments on Hacker News.
Subscribe to:
Post Comments (Atom)
-
Footage posted to social media shows chaotic scenes in Senegal's capital, Dakar. from BBC News https://ift.tt/4LItBfF
-
The highly anticipated Chatswood to Sydenham extension will drastically cut travel times in Sydney Get our morning and afternoon news emai...
-
By BY ERIC GRODE from NYT Theater https://ift.tt/32KJU7H
No comments:
Post a Comment