44 lines
586 B
Markdown
44 lines
586 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
|
|
|
|
Lorem ipsum.
|