Problem: Power Type
Code: Power+Type/tails_1645189523
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 | ; | save | int | A:int | |
| ** 2 | 511 | integer | int | ||
| * 1 | `$ | uniq | [int] | ||
| ** 2 | `< | sort | [int] | ||
| *** 3 | + | concat | [int] | ||
| **** 4 | . | map | [[int]] | ||
| ***** 5 | ; | save | [int] | B:[int] | |
| ****** 6 | >> | tail | [int] | ||
| ******* 7 | , | range from 1 | [int] | ||
| ******** 8 | $ | = A | int | ||
| ***** 5 | . | map | [int] | C:int | |
| ****** 6 | < | take | [int] | ||
| ******* 7 | ;$ | = fstInt | int | ||
| ******* 7 | @ | = B | [int] | ||
| ****** 6 | ^ | pow | int | D:int | |
| ******* 7 | @ | = C | int | ||
| ******* 7 | $ | = D | int |