Problem: tails

Code: tails/tails_1655702063

Nibbles version: 0.2 | 0.21 | 0.22 | 0.23 | 0.24 | 0.25 | 1.00

Format: Compact | Simple | +Type | Table | JSON | .nbl (DeBruijn) | .nbl (names)

``; (recursion) 
    $ (= fstInt) 
    (cond,base,rec) <--arg( A C ) 
        ; (save) -->let( B ) 
            - (subtract) 
                $ (= A) 
                ;@ (= sndInt) 
        ^ (pow) 
            0 (integer) 
            $ (= B) 
        + (add) 
            - (subtract) 
                ^ (pow) 
                    2 (integer) 
                    - (subtract) 
                        $ (= B) 
                        ~ (auto = 1) 
                _ (= C) 
                    - (subtract) 
                        $ (= B) 
                        ~ (auto = 1) 
            * (multiply) 
                _ (= C) 
                    - (subtract) 
                        @ (= A) 
                        ~ (auto = 1) 
                ~ (auto = 2)