Problem: Equation Pyramid
Code: Equation+Pyramid/tails_1657279664
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 | 9 | integer | int | ||
| * 1 | / | foldr1 | [chr] | B:int A:int | |
| ** 2 | . | map | [[chr]] | ||
| *** 3 | `\ | n chunks | [[int]] | ||
| **** 4 | ~ | auto = 2 | auto | ||
| **** 4 | + | add | [int] | ||
| ***** 5 | * | multiply | int | ||
| ****** 6 | $ | = B | int | ||
| ****** 6 | $ | = B | int | ||
| ***** 5 | `, | range from 0 | [int] | ||
| ****** 6 | + | add | int | ||
| ******* 7 | + | add | int | ||
| ******** 8 | $ | = B | int | ||
| ******** 8 | $ | = B | int | ||
| ******* 7 | ~ | auto = 1 | auto | ||
| *** 3 | * | join | [chr] | C:[int] | |
| **** 4 | "+" | string | [chr] | ||
| **** 4 | . | map | [[chr]] | ||
| ***** 5 | $ | = C | [int] | ||
| ***** 5 | & | justify | [chr] | D:int | |
| ****** 6 | " " | string | [chr] | ||
| ****** 6 | 2 | integer | int | ||
| ****** 6 | $ | = D | int | ||
| ** 2 | : | append | [chr] | F:[chr] E:[chr] | |
| *** 3 | & | justify | [chr] | ||
| **** 4 | " " | string | [chr] | ||
| **** 4 | 29 | integer | int | ||
| **** 4 | $ | = F | [chr] | ||
| *** 3 | : | append | [chr] | ||
| **** 4 | "=" | string | [chr] | ||
| **** 4 | | implicit arg = E | [chr] |