Hacker News new | ask | show | jobs
by etiamz 309 days ago
Related: https://github.com/AndrasKovacs/elaboration-zoo
1 comments

This is a great resource to learn how normalization by evaluation and insertion and solving of implicit variables is implemented.