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