Comment on Show HN: A lambda expression visualizer for the webComments−DanWaterworth13yThe text at the bottom says this is simply typed lambda calculus, but surely this is untyped lambda calculus.−notbOP13yRight, thanks! Corrected.
Comments
The text at the bottom says this is simply typed lambda calculus, but surely this is untyped lambda calculus.
Right, thanks! Corrected.