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