Problem: lower bounds for acceptable dating
Code: lower+bounds+for+acceptable+dating/lynn_1640193865
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 | [[chr]] | ||
* 1 | > | drop | [[int]] | ||
** 2 | 10 | integer | int | ||
** 2 | `/ | chunks of | [[int]] | ||
*** 3 | 2 | integer | int | ||
*** 3 | , | range from 1 | [int] | ||
**** 4 | $ | = fstInt | int | ||
* 1 | : | append | [chr] | B:[int] A:[int] | |
** 2 | * | join | [chr] | ||
*** 3 | ", " | string | [chr] | ||
*** 3 | $ | = B | [int] | ||
** 2 | : | append | [chr] | ||
*** 3 | ": " | string | [chr] | ||
*** 3 | + | add | int | ||
**** 4 | / | divide | int | ||
***** 5 | + | sum | int | ||
****** 6 | $ | = B | [int] | ||
***** 5 | 4 | integer | int | ||
**** 4 | 8 | integer | int |