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

: post your reply here :

post as
subject


message