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