Formality, a (proof)gramming language featuring optimal reductions

Article URL: https://github.com/moonad/formality

Comments URL: https://news.ycombinator.com/item?id=20934897

Points: 3

# Comments: 0

from Hacker News: Front Page https://ift.tt/2Lo7oEg
via