Re: [Bug-apl] recursive functions - ackerman

[Frederick H. Pitts]

Fausto,

        Try changing the fourth line to

z←(m-1) ack (m ack (n-1))⋄ →0

Regards,

Fred

On Wed, 2015-04-15 at 21:03 +0200, Fausto Saporito wrote:
> Hello all,
> 
> 
> I'm trying to implement ackerman function, but I got no luck ... and I
> cannot understand why this code doesn't work:
> 
> z←m ack n
> →(m=0)/∆1
> →(n=0)/∆2
> z←(m-1) ack (m ack (n-1))
> ∆1: z←n+1 ⋄ →0
> ∆2: z←(m-1) ack 1
> 
> 
> is the double recursion permitted in APL2 ? 
> 
> 
> thanks,
> 
> fausto
> 
>