Problem: Derangements

Code: Derangements/tails_1645189937

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[[int],[int]]
* 1implicit map[[int]]
** 2| filter[int]
*** 3^ replicate[int]
**** 41 integerint
**** 4, range from 1[int]
***** 56 integerint
*** 3- subtractintA:int
**** 4~ auto = 1auto
**** 4`/ divmodintB:int
***** 5$ = Aint
***** 56 integerint
** 2`, range from 0[int]D:int C:int
*** 3$ = Dint
* 1~ tuple[int],[int]F:[int] E:[int]
** 2implicit arg = F[int]
** 2implicit arg = F[int]