Problem: lower bounds for acceptable dating
Code: lower+bounds+for+acceptable+dating/tails_1640670801
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],[chr],int] | ||
* 1 | 40 | integer | int | ||
* 1 | ~~ | 3-ary tuple | [chr],[chr],int | B:int A:int | |
** 2 | : | append | [chr] | ||
*** 3 | - | subtract | int | ||
**** 4 | ; | let | int | C:int | |
***** 5 | * | multiply | int | ||
****** 6 | + | add | int | ||
******* 7 | 10 | integer | int | ||
******* 7 | $ | = B | int | ||
****** 6 | ~ | auto = 2 | auto | ||
**** 4 | ~ | auto = 1 | auto | ||
*** 3 | "," | string | [chr] | ||
** 2 | : | append | [chr] | ||
*** 3 | $ | = C | int | ||
*** 3 | ":" | string | [chr] | ||
** 2 | + | add | int | ||
*** 3 | 17 | integer | int | ||
*** 3 | @ | = B | int |