Problem: rect

Code: rect/kaki_1734756562

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)


: (append) 
    : (append) 
        ;~ (save fn) -->let( D ) 
            ; (save) -->let( A ) 
                "-+" (string) 
            * (join) <--arg( B ) 
                ^ (replicate) 
                    _ (= fstInt) 
                    `( (uncons) -->let( C ) 
                        $ (= B) 
                `: (list of 2 lists) 
                    $ (= C) 
                    $ (= C) 
        . (map) 
            , (range from 1) 
                ;_ (= sndInt) 
            @ (= D) <--arg( E ) 
                " |" (string) 
    $ (= D) 
        (implicit arg = A) 

Back to the index