Problem: Replace exercise

Code: Replace+exercise/tails_1644213905

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* multiplyint
* 1* multiplyint
** 2* multiplyint
*** 3implicit arg = fstIntint
*** 3implicit arg = fstIntint
** 2implicit arg = fstIntint
* 1implicit arg = fstIntint