Problem: Range Analysis

Code: Range+Analysis/tails_1660714034

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 string concatenation):[chr] 
    (implicit string concatenation):[chr] 
        (implicit string concatenation):[chr] 
            (implicit string concatenation):[chr] 
                "range(" (string):[chr] 
                `( (uncons):int -->let( B:[int] ) 
                    `< (sort):[int] 
                        . (map):[int] 
                            `* (nary cartesian product):[[int]] 
                                `/ (chunks of):[[int]] 
                                    ~ (auto = 2):auto 
                                    _ (= ints):[int] 
                            `* (product):int <--arg( A:[int] ) 
                                $ (= A):[int] 
            "," (string):[chr] 
        / (foldr1):int 
            $ (= B):[int] 
            @ (= C):int <--arg( D:int C:int ) 
    ")" (string):[chr]