Problem: tails
Code: tails/tails_1655702063
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)
``; (recursion):int $ (= fstInt):int (cond,base,rec):null <--arg( A:int C:fn(int->int) ) ; (save):int -->let( B:int ) - (subtract):int $ (= A):int ;@ (= sndInt):int ^ (pow):int 0 (integer):int $ (= B):int + (add):int - (subtract):int ^ (pow):int 2 (integer):int - (subtract):int $ (= B):int ~ (auto = 1):auto _ (= C):int - (subtract):int $ (= B):int ~ (auto = 1):auto * (multiply):int _ (= C):int - (subtract):int @ (= A):int ~ (auto = 1):auto ~ (auto = 2):auto