Problem: Peano arithmetic
Code: Peano+arithmetic/kaki_1701184904
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 | ^ | replicate | [chr] | ||
| ** 2 | `/ | special folds | int | ||
| *** 3 | . | map | [int] | ||
| **** 4 | % | split (remove empties) | [[chr]] | ||
| ***** 5 | @ | = fstLine | [chr] | ||
| ***** 5 | "*" | string | [chr] | ||
| **** 4 | , | length | int | A:[chr] | |
| ***** 5 | | | filter | [chr] | ||
| ****** 6 | $ | = A | [chr] | ||
| ****** 6 | \ | char class | [chr] | B:chr | |
| ******* 7 | $ | = B | chr | ||
| ******* 7 | a | isAlpha | null | ||
| *** 3 | * | foldop: mult | null | ||
| ** 2 | "S" | string | [chr] | ||
| * 1 | 0 | integer | int |