Problem: Repeated Number

Code: Repeated+Number/tails_1645420580

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)

+ (concat) 
    . (map) 
        , (range from 1) 
            7 (integer) 
        . (map) <--arg( A ) 
            , (range from 1) 
                9 (integer) 
            ^ (replicate) <--arg( B ) 
                + (add) 
                    @ (= A) 
                    ~ (auto) 
                `p (int to str) 
                    (implicit arg = B)