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

## times

Basis Function Combinator

times == \[\-- dip\] cons \[swap\] infra \[0 \>\] swap while pop :

    ... n [Q] . times
    ---------------------  w/ n <= 0
      ... .


    ... 1 [Q] . times
    -----------------------
      ... . Q


    ... n [Q] . times
    -------------------------------------  w/ n > 1
      ... . Q (n - 1) [Q] times

Gentzen diagram.

### Definition

if not basis.

### Derivation

if not basis.

### Source

if basis

### Discussion

Lorem ipsum.

### Crosslinks

Lorem ipsum.