Problem: Modular Exponentiation 2

Code: Modular+Exponentiation+2/tails_1646227277

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 foldl1):int 
    : (append):[int] 
        1 (integer):int 
        `@ (to base):[int] 
            2 (integer):int 
            ;$ (= sndInt):int 
    % (modulus):int <--arg( B:int A:int ) 
        * (multiply):int 
            ^ (pow):int 
                _ (= fstInt):int 
                $ (= B):int 
            ^ (pow):int 
                @ (= A):int 
                ~ (auto = 2):auto 
        / (foldr1):int 
            ;@ (= ints):[int] 
            @ (= C):int <--arg( D:int C:int )