Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
tromp
3y ago
0 comments
Save
Share
I expect so, as the author is familiar with my tools [1] for doing these optimizations.
[1]
https://github.com/tromp/AIT
0 comments
1 comments · 1 top-level
top
newest
oldest
tromp
OP
3y ago
Indeed he uses it here [1], which also gets used in lambda-8cc.
[1]
https://github.com/woodrush/lambda-calculus-devkit
j
/
k
navigate · click thread line to collapse