Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Formality, a (proof)gramming language featuring optimal reductions
github.com/moonad
27 points
LightMachine
7 years ago
8 comments
Loading...
Formality, a (proof)gramming language featuring optimal reductions | Heykuki News