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)