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.
[ Parent
| on HN ]