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):[int] 
    ; (let):int -->let( A:int ) 
        511 (integer):int 
    `$ (uniq):[int] 
        `< (sort):[int] 
            + (concat):[int] 
                . (map):[[int]] 
                    ; (let):[int] -->let( B:[int] ) 
                        >> (tail):[int] 
                            , (range from 1):[int] 
                                $ (= A):int 
                    . (map):[int] <--arg( C:int ) 
                        < (take):[int] 
                            ;$ (= fstInt):int 
                            @ (= B):[int] 
                        ^ (pow):int <--arg( D:int ) 
                            @ (= C):int 
                            $ (= D):int