Problem: Peano arithmetic

Code: Peano+arithmetic/kaki_1701184904

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) 
    ^ (replicate) 
        `/ (special folds) 
            . (map) 
                % (split (remove empties)) 
                    @ (= fstLine) 
                    "*" (string) 
                , (length) <--arg( A ) 
                    | (filter) 
                        $ (= A) 
                        \ (char class) <--arg( B ) 
                            $ (= B) 
                            a (isAlpha) 
            * (foldop: mult) 
        "S" (string) 
    0 (integer)