Comment Re:Here is a scan of the actual paper (Score 1) 439
Yeah - not sure why it was left out, but it kinda gives the proof to all of this..
Oh well, its here now!
We declare the names of all variables and functions. Yet the Tao has no type specifier.
