Problem: Power Type

Code: Power+Type/tails_1645189523

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)

< (take) 
    ; (save) -->let( A ) 
        511 (integer) 
    `$ (uniq) 
        `< (sort) 
            + (concat) 
                . (map) 
                    ; (save) -->let( B ) 
                        >> (tail) 
                            , (range from 1) 
                                $ (= A) 
                    . (map) <--arg( C ) 
                        < (take) 
                            ;$ (= fstInt) 
                            @ (= B) 
                        ^ (pow) <--arg( D ) 
                            @ (= C) 
                            $ (= D)