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)):int -->let( E:int D:int ) 
    36 (integer):int 
    `. (iterate while uniq):[int,int,int] 
        ~~ (3-ary tuple):int,int,int 
            0 (integer):int 
            1 (integer):int 
            0 (integer):int 
        (implicit tuple):int,int,int <--arg( C:int B:int A:int ) 
            + (add):int 
                * (multiply):int 
                    _ (= A):int 
                    $ (= C):int 
                ~ (auto = 1):auto 
            $ (= C):int 
            (implicit arg = B):int