Re: [stack] Re: unary functions from X to Y?

On Sat, Mar 7, 2009 at 5:47 AM, Justin Pombrio <[email protected]> wrote:
> Do you agree that the following two equivalences hold?
> 3 => two! == two! 3 == 2 3

These hold for your original definition of 'two!', yes.

> I should have been more specific. I meant that 'P two!' should always
> produce the stack '2' for *any* program P.

Then 'two!' should be written to do this, and it can be:

; two! [2] -> ;

3 => two! == 2

Chris.