Problem: DiCaprio Sequence
Code: DiCaprio+Sequence/kaki_1702211684
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 | [int] | ||
* 1 | `@ | to base | [int] | ||
** 2 | 9 | integer | int | ||
** 2 | $ | = fstInt | int | ||
* 1 | + | add | int | B:int A:int | |
** 2 | 18 | integer | int | ||
** 2 | $ | = B | int |