--------------

concat
^^^^^^^^

Basis Function Combinator


Concatinate the two lists on the top of the stack.
::

       [a b c] [d e f] concat
    ----------------------------
           [a b c d e f]



Gentzen diagram.


Definition
~~~~~~~~~~

if not basis.


Derivation
~~~~~~~~~~

if not basis.


Source
~~~~~~~~~~

if basis


Discussion
~~~~~~~~~~

Lorem ipsum.


Crosslinks
~~~~~~~~~~

Lorem ipsum.


