2 ms·
I expect so, as the author is familiar with my tools [1] for doing these optimizations. [1] https://github.com/tromp/AIT https://github.com/tromp/AIT
by tromp 4y ago
I expect so, as the author is familiar with my tools [1] for doing these optimizations.
[1] https://github.com/tromp/AIT https://github.com/tromp/AIT
- tromp 4y agoIndeed he uses it here [1], which also gets used in lambda-8cc. [1] https://github.com/woodrush/lambda-calculus-devkit https://github.com/woodrush/lambda-calculus-devkit