Problem: lower bounds for acceptable dating

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

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
0> drop[[chr]]
* 110 integerint
* 1. map[[chr]]
** 2`/ chunks of[[int]]
*** 3~ auto = 2auto
*** 3, range from 1[int]
**** 4$ = fstIntint
** 2: append[chr]A:[int]
*** 3: append[chr]
**** 4* join[chr]
***** 5", " string[chr]
***** 5$ = A[int]
**** 4": " string[chr]
*** 3+ addint
**** 4/ divideint
***** 5/ foldr1int
****** 6$ = A[int]
****** 6$ = CintC:int B:int
***** 5~ auto = 2auto
**** 48 integerint