Formality, a (proof)gramming language featuring optimal reductions
3 by LightMachine | 0 comments on Hacker News.
Tuesday, September 10, 2019
Home
Squad News
Staff reporter
New top story on Squad News: Formality, a (proof)gramming language featuring optimal reductions
New top story on Squad News: Formality, a (proof)gramming language featuring optimal reductions
Tags
# Squad News
# Staff reporter
Share This
About TTR Web Desk
Staff reporter
Labels:
Squad News,
Staff reporter
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment