4 ms·
Indeed 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-calcu
by tromp 4y ago
Indeed 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