Problem: nine thirteen

Code: nine+thirteen/kaki_1700028018

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)

+ (add):int 
    % (modulus):int 
        - (subtract):int 
            ~ (auto = 1):auto 
            $ (= fstInt):int 
        ; (save):int -->let( A:int ) 
            9 (integer):int 
    $ (= A):int