Problem: lower bounds for acceptable dating

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

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 with implicit range) 
    40 (integer) 
    ~~ (3-ary tuple) <--arg( B A ) 
        : (append) 
            - (subtract) 
                ; (let) -->let( C ) 
                    * (multiply) 
                        + (add) 
                            10 (integer) 
                            $ (= B) 
                        ~ (auto) 
                ~ (auto) 
            "," (string) 
        : (append) 
            $ (= C) 
            ":" (string) 
        + (add) 
            17 (integer) 
            @ (= B)