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

Back to the index