Problem: tails
Code: tails/tails_1655702063
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 | ``; | recursion | int | ||
| * 1 | $ | = fstInt | int | ||
| * 1 | | cond,base,rec | null | A:int C:fn(int->int) | |
| ** 2 | ; | save | int | B:int | |
| *** 3 | - | subtract | int | ||
| **** 4 | $ | = A | int | ||
| **** 4 | ;@ | = sndInt | int | ||
| ** 2 | ^ | pow | int | ||
| *** 3 | 0 | integer | int | ||
| *** 3 | $ | = B | int | ||
| ** 2 | + | add | int | ||
| *** 3 | - | subtract | int | ||
| **** 4 | ^ | pow | int | ||
| ***** 5 | 2 | integer | int | ||
| ***** 5 | - | subtract | int | ||
| ****** 6 | $ | = B | int | ||
| ****** 6 | ~ | auto = 1 | auto | ||
| **** 4 | _ | = C | int | ||
| ***** 5 | - | subtract | int | ||
| ****** 6 | $ | = B | int | ||
| ****** 6 | ~ | auto = 1 | auto | ||
| *** 3 | * | multiply | int | ||
| **** 4 | _ | = C | int | ||
| ***** 5 | - | subtract | int | ||
| ****** 6 | @ | = A | int | ||
| ****** 6 | ~ | auto = 1 | auto | ||
| **** 4 | ~ | auto = 2 | auto |