From: Marcus Breiing
Subject: Re: nested lambda-expressions
Date: 
Message-ID: <e8xpnsyy7ltmc@breiing.com>
* Stefan Ram

>   How can "F" be a seemingly free variable
>   in the result and why is "inc" not used? 

F remains F because F is what F continues to refer to:-) Consider this
variation on your theme:

(setq double
      (lambda (f)
        (values (lambda (x) (funcall f (funcall f x)))
                (lambda (g) (setq f g)))))

Marcus