Problem: Recursive Function

Code: Recursive+Function/tails_1645088767

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)

= (subscript (wrapped)) -->let( E D ) 
    36 (integer) 
    `. (iterate while uniq) 
        ~~ (3-ary tuple) 
            0 (integer) 
            1 (integer) 
            0 (integer) 
        (implicit tuple) <--arg( C B A ) 
            + (add) 
                * (multiply) 
                    _ (= A) 
                    $ (= C) 
                ~ (auto = 1) 
            $ (= C) 
            (implicit arg = B)