Problem: checkers pattern

Code: checkers+pattern/tails_1642067881

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)


(implicit map with implicit range):[[int]] 
    $ (= fstInt):int 
    . (map):[int] <--arg( B:int A:int ) 
        + (add):[int] 
            $ (= B):int 
            `, (range from 0):[int] 
                ;_ (= sndInt):int 
        % (modulus):int <--arg( C:int ) 
            $ (= C):int 
            ~ (auto = 2):auto 

Back to the index