Problem: Peano arithmetic
Code: Peano+arithmetic/tails_1700571009
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 string concatenation | [chr] | ||
| * 1 | | implicit foldl1 | [chr] | ||
| ** 2 | `% | step | [[chr]] | ||
| *** 3 | ~ | auto = 2 | auto | ||
| *** 3 | . | map | [[chr]] | ||
| **** 4 | ; | save | [[chr]] | A:[[chr]] | |
| ***** 5 | % | split (remove empties) | [[chr]] | ||
| ****** 6 | @ | = fstLine | [chr] | ||
| ****** 6 | ~ | auto = words | auto | ||
| **** 4 | << | init | [chr] | B:[chr] | |
| ***** 5 | $ | = B | [chr] | ||
| ** 2 | ? | if/else | [[chr]] | D:[chr] C:[chr] | |
| *** 3 | ? | index | int | ||
| **** 4 | _ | = A | [[chr]] | ||
| **** 4 | "+" | string | [chr] | ||
| *** 3 | : | append | [chr] | E:int | |
| **** 4 | @ | = D | [chr] | ||
| **** 4 | _ | = C | [chr] | ||
| *** 3 | . | map | [[chr]] | ||
| **** 4 | $ | = D | [chr] | ||
| **** 4 | _ | = C | [chr] | F:chr | |
| * 1 | @ | = fstInt | int |