Warp wrote:
> nemesis <nam### [at] gmailcom> wrote:
>> In Scheme and Lisp, let introduces new lexical scoped bindings for values, just
>> like in Haskell.  Except someone can use set! on them and break all referential
>> transparency apart...
> 
>   Maybe I confused "let" with "set".

I *have* seen "let" used in mathematical proofs alot.

"Let x be the smallest number in the set. Then, ...."

-- 
   Darren New / San Diego, CA, USA (PST)
     On what day did God create the body thetans?

Post a reply to this message