Problem: Recursive Function
Code: Recursive+Function/tails_1645088767
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)
= (subscript (wrapped)) -->let( E D ) 36 (integer) `. (iterate while uniq) ~~ (3-ary tuple) 0 (integer) 1 (integer) 0 (integer) (implicit tuple) <--arg( C B A ) + (add) * (multiply) _ (= A) $ (= C) ~ (auto = 1) $ (= C) (implicit arg = B)