snoot.org message board: re: calc-u (zoom)

[ back | refresh | last 25 | post new ]

re: calc-u
[767] by "lambdacalculus.com" (dentu.res.cmu.edu)   on Fri 12 May 2000 11:31:36     [ reply ] [ up ]
Ifinite steps!
(\x.x x)(\x.x x)