Hacker News new | ask | show | jobs
by tromp 1355 days ago
I expect so, as the author is familiar with my tools [1] for doing these optimizations.

[1] https://github.com/tromp/AIT
1 comments
tromp 1355 days ago
Indeed he uses it here [1], which also gets used in lambda-8cc.

[1] https://github.com/woodrush/lambda-calculus-devkit

link