News for hackers. Stuff that matters.
Re:Show HN: A lambda expression visualizer for the web by DanWaterworth on Saturday February 16, 2013 @01:36AM (#5230656)
The text at the bottom says this is simply typed lambda calculus, but surely this is untyped lambda calculus.
Re:Show HN: A lambda expression visualizer for the web by notb on Saturday February 16, 2013 @01:42AM (#5230674)
Right, thanks! Corrected.