Problem: Substract from a Googol

Code: Substract+from+a+Googol/plcc_1772470313

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- subtractint
* 1^ powint
** 2~ auto = 10auto
** 2^ powint
*** 3~ auto = 10auto
*** 3~ auto = 2auto
* 1implicit arg = fstIntint

Back to the index