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