Problem: A006530
Code: A006530/tails_1644995382
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 | / | foldr1 | int | B:int A:int | |
| ** 2 | | | filter | [int] | ||
| *** 3 | \ | reverse | [int] | ||
| **** 4 | , | range from 1 | [int] | ||
| ***** 5 | $ | = B | int | ||
| *** 3 | - | subtract | int | C:int | |
| **** 4 | - | subtract | int | ||
| ***** 5 | 3 | integer | int | ||
| ***** 5 | , | length | int | ||
| ****** 6 | | | filter | [int] | ||
| ******* 7 | , | range from 1 | [int] | ||
| ******** 8 | $ | = C | int | ||
| ******* 7 | ~ | not | null | ||
| ******* 7 | % | modulus | int | D:int | |
| ******** 8 | @ | = C | int | ||
| ******** 8 | $ | = D | int | ||
| **** 4 | % | modulus | int | ||
| ***** 5 | @ | = B | int | ||
| ***** 5 | | implicit arg = C | int | ||
| ** 2 | | implicit arg = F | int | F:int E:int |