Problem: Peano arithmetic

Code: Peano+arithmetic/tails_1700571009

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)

`% ~ 
   . ; % @ 
         ~ 
     << $ 
? ? _ 
    "+" 
  : @ 
    _ 
  . $ 
    _ 
@