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) 
    $ (= fstInt) 
    . (map) <--arg( B A ) 
        + (add) 
            $ (= B) 
            `, (range from 0) 
                ;_ (= sndInt) 
        % (modulus) <--arg( C ) 
            $ (= C) 
            ~ (auto) 

Back to the index