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):int 
    $ (= fstInt):int 
    (cond,base,rec):null <--arg( A:int C:fn(int->int) ) 
        ; (save):int -->let( B:int ) 
            - (subtract):int 
                $ (= A):int 
                ;@ (= sndInt):int 
        ^ (pow):int 
            0 (integer):int 
            $ (= B):int 
        + (add):int 
            - (subtract):int 
                ^ (pow):int 
                    2 (integer):int 
                    - (subtract):int 
                        $ (= B):int 
                        ~ (auto = 1):auto 
                _ (= C):int 
                    - (subtract):int 
                        $ (= B):int 
                        ~ (auto = 1):auto 
            * (multiply):int 
                _ (= C):int 
                    - (subtract):int 
                        @ (= A):int 
                        ~ (auto = 1):auto 
                ~ (auto = 2):auto