Problem: Colosseum Sequence

Code: Colosseum+Sequence/tails_1679374332

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
0implicit map with implicit range[int]
* 1$ = fstIntint
* 1/ foldr1intB:int A:int
** 2, range from 1[int]
*** 3$ = Bint
** 2+ sumintD:int C:int
*** 3. map[int]
**** 4`@ to base[int]
***** 5~ auto = 10auto
***** 5@ = Cint
**** 4= subscript (wrapped)intF:int
***** 5$ = Fint
***** 5`D to base from data[int]
****** 65 to base from data argnull