Problem: count down
Code: count+down/tails_1646542167
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 | `. | iterate while uniq | [int] | ||
* 1 | $ | = fstInt | int | ||
* 1 | / | foldr1 | int | A:int | |
** 2 | \ | reverse | [int] | ||
*** 3 | `@ | to base | [int] | ||
**** 4 | ~ | auto = 10 | auto | ||
**** 4 | - | subtract | int | ||
***** 5 | $ | = A | int | ||
***** 5 | ~ | auto = 1 | auto | ||
** 2 | * | multiply | int | C:int B:int | |
*** 3 | 10 | integer | int | ||
*** 3 | @ | = B | int |