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)