On Tue, 24 Apr 2001, Dan Sugalski wrote:
> Or, rather, I think we should have one. Naming the interpreter separate
> from the language may help folks keep the various bits separate in their
> minds. (It'll certainly help me be clearer when I talk about it)
>
> Personally, I'm up for calling the i
y
> suggest that they should review the introductory documentation or some
> tutorials prior to delving into the detailed technical reference
> documentation.
>
> Curt
>
I have found that https://www.divio.com/blog/documentation/
<https://www.divio.com/blog/documentation
-origin-of-notation-λ-in-lambda-calculus/
is the truth.
Thanks to unicode I think I can type x̂.2x + 1 these days and avoid those
“pretentious” greek letters ;-)
Mike
--
Mike Stok
http://www.stok.ca/~mike/
The "`Stok' disclaimers" apply.
