Problem: Partition function
Code: Partition+function/tails+%28recursion%29_1645535116
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)
Depth | Lit | Desc | Type | Arg | Let |
---|---|---|---|---|---|
0 |
| implicit map with implicit range | [[chr]] | ||
* 1 | $ | = fstInt | int | ||
* 1 | : | append | [chr] | B:int A:int | |
** 2 | : | append | [chr] | ||
*** 3 | : | append | [chr] | ||
**** 4 | "p(" | string | [chr] | ||
**** 4 | $ | = B | int | ||
*** 3 | ")=" | string | [chr] | ||
** 2 | `; | recursion | int | ||
*** 3 | ~ | tuple | int,int | ||
**** 4 | $ | = B | int | ||
**** 4 | $ | = B | int | ||
*** 3 |
| cond,base,rec | null | D:int C:int E:fn(int,int->int) | |
**** 4 | + | add | int | ||
***** 5 | @ | = C | int | ||
***** 5 | ~ | auto = 1 | auto | ||
**** 4 | 0 | integer | int | ||
**** 4 | ? | if/else | int | ||
***** 5 | $ | = D | int | ||
***** 5 | + | add | int | F:int | |
****** 6 | ;$ | = E | int | ||
******* 7 | - | subtract | int | ||
******** 8 | @ | = D | int | ||
******** 8 | ~ | auto = 1 | auto | ||
******* 7 | _ | = C | int | ||
****** 6 | ;$ | = E | int | ||
******* 7 | @ | = D | int | ||
******* 7 | - | subtract | int | ||
******** 8 | _ | = C | int | ||
******** 8 | @ | = D | int | ||
***** 5 | ^ | pow | int | ||
****** 6 | 0 | integer | int | ||
****** 6 | @ | = C | int |