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)

(implicit map) 
    + (add) 
        9 (integer) 
        , (range from 1) 
            40 (integer) 
    : (append) <--arg( B A ) 
        : (append) 
            * (join) 
                ", " (string) 
                + (add) 
                    * (multiply) 
                        $ (= B) 
                        ~ (auto = 2) 
                    , (range from 1) 
                        2 (integer) 
            ": " (string) 
        + (add) 
            8 (integer) 
            (implicit arg = B)