Problem: Peano arithmetic

Code: Peano+arithmetic/kaki_1701232114

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] 
    ^ (replicate):[chr] 
        `* (product):int 
            . (map):[int] 
                % (split (remove empties)):[[chr]] 
                    @ (= fstLine):[chr] 
                    "*" (string):[chr] 
                , (length):int <--arg( A:[chr] ) 
                    | (filter):[chr] 
                        $ (= A):[chr] 
                        \ (char class):[chr] <--arg( B:chr ) 
                            $ (= B):chr 
                            a (isAlpha):null 
        "S" (string):[chr] 
    0 (integer):int