Problem: A069800
Code: A069800/tails_1662361531
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 | < | take | [int] | ||
* 1 | $ | = fstInt | int | ||
* 1 | + | concat | [int] | ||
** 2 | =~ | group by (also sorts) | [[int]] | ||
*** 3 | | | filter | [int] | ||
**** 4 | , | range from 1 | [int] | ||
***** 5 | ^ | pow | int | ||
****** 6 | $ | = fstInt | int | ||
****** 6 | 3 | integer | int | ||
**** 4 | `* | product | int | A:int | |
***** 5 | `@ | to base | [int] | ||
****** 6 | ~ | auto = 10 | auto | ||
****** 6 | $ | = A | int | ||
*** 3 | + | sum | int | B:int | |
**** 4 | `@ | to base | [int] | ||
***** 5 | ~ | auto = 10 | auto | ||
***** 5 |
| implicit arg = B | int |