Problem: Jumping all the way
Code: Jumping+all+the+way/tails_1670658880
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 | `( | uncons | int | A:[int] | |
** 2 | _ | = ints | [int] | ||
* 1 | + | add | int | B:int | |
** 2 | =~ | subscript nowrap | int | ||
*** 3 |
| implicit arg = B | int | ||
*** 3 |
| implicit arg = A | [int] | ||
** 2 |
| implicit arg = B | int |