42 lines
566 B
Markdown
42 lines
566 B
Markdown
------------------------------------------------------------------------
|
|
|
|
# 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
|