ack ( m n -- x )

Vocabulary

benchmark.recursive

Inputs

m	an object
n	an object

Outputs

x

an object

Definition

USING: combinators kernel math ;

IN: benchmark.recursive

: ack ( m n -- x )
    {
        { [ over zero? ] [ nip 1 + ] }
        { [ dup zero? ] [ drop 1 - 1 ack ] }
        [ [ drop 1 - ] [ 1 - ack ] 2bi ack ]
    } cond ; inline recursive