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)


DepthLitDescTypeArgLet
0< take[int]
* 1; saveintA:int
** 2511 integerint
* 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$ = Aint
***** 5. map[int]C:int
****** 6< take[int]
******* 7;$ = fstIntint
******* 7@ = B[int]
****** 6^ powintD:int
******* 7@ = Cint
******* 7$ = Dint