Formality, a (proof)gramming language featuring optimal reductions

Comments

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

Comments

Popular posts from this blog