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