[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.