Problem: Recursive Function

Code: Recursive+Function/tails_1645088767

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= subscript (wrapped)intE:int D:int
* 136 integerint
* 1`. iterate while uniq[int,int,int]
** 2~~ 3-ary tupleint,int,int
*** 30 integerint
*** 31 integerint
*** 30 integerint
** 2implicit tupleint,int,intC:int B:int A:int
*** 3+ addint
**** 4* multiplyint
***** 5_ = Aint
***** 5$ = Cint
**** 4~ auto = 1auto
*** 3$ = Cint
*** 3implicit arg = Bint