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)
| Depth | Lit | Desc | Type | Arg | Let |
|---|---|---|---|---|---|
| 0 | | implicit map with implicit range | [[int]] | ||
| * 1 | $ | = fstInt | int | ||
| * 1 | . | map | [int] | B:int A:int | |
| ** 2 | + | add | [int] | ||
| *** 3 | $ | = B | int | ||
| *** 3 | `, | range from 0 | [int] | ||
| **** 4 | ;_ | = sndInt | int | ||
| ** 2 | % | modulus | int | C:int | |
| *** 3 | $ | = C | int | ||
| *** 3 | ~ | auto = 2 | auto |