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

# dupdip

Basis Function Combinator

    [F] dupdip == dup [F] dip

    ... a [F] dupdip
    ... a dup [F] dip
    ... a a   [F] dip
    ... a F a

Gentzen diagram.

## Definition

if not basis.

## Derivation

if not basis.

## Source

if basis

## Discussion

Lorem ipsum.

## Crosslinks

Lorem ipsum.
