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