[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: SCOOPS and obsolete forms
In article <3246@kalliope.rice.edu> I write:
>Any REC-expression (not just in the application-context you mention
>and not just for LAMBDA-forms either) can be stated with a LETREC
>(which in its term is based on LAMBDA and SET!) as follows:
^^^^
It could be well-nigh impossible to figure out that the above is a
typo for "turn". Hence this posting. (For what it's worth, I was
thinking of term-rewriting something, and psychology did the rest.)
------------------------------------------------------------------------------
It may be that the gulfs will wash us down;
It may be we shall touch the Happy Isles.
------------------------------------------------------------------------------