Problem: Modular Exponentiation

Code: Modular+Exponentiation/tails_1646227623

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] 
        2 (integer):int 
        , (range from 1):[int] 
            $ (= fstInt):int 
    % (modulus):int <--arg( B:int A:int ) 
        ^ (pow):int 
            @ (= A):int 
            10 (integer):int 
        ^ (pow):int 
            ~ (auto = 10):auto 
            ;_ (= sndInt):int 

Back to the index