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)

> (drop):[[chr]] 
    10 (integer):int 
    . (map):[[chr]] 
        `/ (chunks of):[[int]] 
            ~ (auto = 2):auto 
            , (range from 1):[int] 
                $ (= fstInt):int 
        : (append):[chr] <--arg( A:[int] ) 
            : (append):[chr] 
                * (join):[chr] 
                    ", " (string):[chr] 
                    $ (= A):[int] 
                ": " (string):[chr] 
            + (add):int 
                / (divide):int 
                    / (foldr1):int 
                        $ (= A):[int] 
                        $ (= C):int <--arg( C:int B:int ) 
                    ~ (auto = 2):auto 
                8 (integer):int