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