Problem: Test_prometeo

Code: Test_prometeo/McBusLuck_1735054903

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)

& (justify) 
    @ (= fstLine) 
    $ (= fstInt) 
    ~ (center) 
    (implicit arg = fstInt)