Problem: Peano arithmetic

Code: Peano+arithmetic/tails+%28kaki%29_1701237192

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) 
        (implicit map) 
            % (split (remove empties)) 
                @ (= fstLine) 
                "*" (string) 
            | (filter) <--arg( B A ) 
                $ (= B) 
                \ (char class) <--arg( C ) 
                    $ (= C) 
                    a (isAlpha) 
        . (map) <--arg( E D ) 
            $ (= E) 
            _ (= D) <--arg( F ) 
    $ (= fstInt)