Problem: Modular Exponentiation 2

Code: Modular+Exponentiation+2/tails_1646227277

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 foldl1int
* 1: append[int]
** 21 integerint
** 2`@ to base[int]
*** 32 integerint
*** 3;$ = sndIntint
* 1% modulusintB:int A:int
** 2* multiplyint
*** 3^ powint
**** 4_ = fstIntint
**** 4$ = Bint
*** 3^ powint
**** 4@ = Aint
**** 4~ auto = 2auto
** 2/ foldr1int
*** 3;@ = ints[int]
*** 3@ = CintD:int C:int