Problem: Peano arithmetic
Code: Peano+arithmetic/tails+%28kaki%29_1701237192
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 |
| implicit map | [[chr]] | ||
*** 3 | % | split (remove empties) | [[chr]] | ||
**** 4 | @ | = fstLine | [chr] | ||
**** 4 | "*" | string | [chr] | ||
*** 3 | | | filter | [chr] | B:[chr] A:[chr] | |
**** 4 | $ | = B | [chr] | ||
**** 4 | \ | char class | [chr] | C:chr | |
***** 5 | $ | = C | chr | ||
***** 5 | a | isAlpha | null | ||
** 2 | . | map | [[chr]] | E:[chr] D:[chr] | |
*** 3 | $ | = E | [chr] | ||
*** 3 | _ | = D | [chr] | F:chr | |
* 1 | $ | = fstInt | int |