Problem: lower bounds for acceptable dating

Code: lower+bounds+for+acceptable+dating/Dingledooper_1640233638

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)


DepthLitDescTypeArgLet
0implicit map[[chr]]
* 1+ add[int]
** 29 integerint
** 2, range from 1[int]
*** 340 integerint
* 1: append[chr]B:int A:int
** 2: append[chr]
*** 3* join[chr]
**** 4", " string[chr]
**** 4+ add[int]
***** 5* multiplyint
****** 6$ = Bint
****** 6~ auto = 2auto
***** 5, range from 1[int]
****** 62 integerint
*** 3": " string[chr]
** 2+ addint
*** 38 integerint
*** 3implicit arg = Bint