|
|
|
|
|
|
by void_starer
2798 days ago
|
|
|
> Hal went on to explain how the substitution model of evaluation worked in this example and I carefully watched. It seemed simple. It couldn't be that simple, though, could it? Something must be missing. I had to find out. Well, not that simple... as the author hasn't taken the potential problem of free variable capture into account. |
|
|