61 lines
589 B
ReStructuredText
61 lines
589 B
ReStructuredText
--------------
|
|
|
|
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.
|
|
|
|
|