Problem: Peano arithmetic

Code: Peano+arithmetic/tails_1700571009

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 string concatenation) 
    (implicit foldl1) 
        `% (step) 
            ~ (auto = 2) 
            . (map) 
                ; (save) -->let( A ) 
                    % (split (remove empties)) 
                        @ (= fstLine) 
                        ~ (auto = words) 
                << (init) <--arg( B ) 
                    $ (= B) 
        ? (if/else) <--arg( D C ) 
            ? (index) 
                _ (= A) 
                "+" (string) 
            : (append) <--arg( E ) 
                @ (= D) 
                _ (= C) 
            . (map) 
                $ (= D) 
                _ (= C) <--arg( F ) 
    @ (= fstInt)