lambda
lambda copied to clipboard
codedot
Macro Lambda Calculus
I just wanted somewhere to note this. The system on page 40-41 of Asperti's book is not implemented anywhere AFAICT. If you read chapter 12 on the BOHM machine, BOHM...
The current implementation of the embedded read-back mechanism produces name clashes for some terms on all three optimal algorithms: `abstract`, `optimal`, and `standard`. The shortest closed λ-term that demonstrates this...
Hi, I saw from the thread [on LtU](http://lambda-the-ultimate.org/node/5487) that the proposed impure/fast algorithm was not working on a big example counter.mlc. Is that still the case? I was thinking about...