sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

The O's.

This commit is contained in:
Simon Forman 2022-03-27 12:01:37 -07:00
parent aae78523d3
commit fb2cdff6b9
5 changed files with 381 additions and 409 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

624
docs/reference/mkref/FuncRef.html
View File

File diff suppressed because it is too large Load Diff

86
docs/reference/mkref/Functor-Reference.md
View File

@ -2373,7 +2373,7 @@ item of the result on the stack.
... [P] nullary
---------------------
... A
... a
### Definition
@ -2385,8 +2385,8 @@ item of the result on the stack.
... [P] [stack] dip infra first
... stack [P] infra first
... [...] [P] infra first
... [A ...] first
... A
... [a ...] first
... a
### Discussion
@ -2405,91 +2405,75 @@ program.)
## of
Basis Function Combinator
Function
swap at
Like [getitem] but [swap]s the order of arguments.
Gentzen diagram.
### Example
2 [a b c d] of
--------------------
c
### Definition
if not basis.
### Derivation
if not basis.
### Source
if basis
### Discussion
Lorem ipsum.
> [swap] [getitem]
### Crosslinks
Lorem ipsum.
[getitem]
------------------------------------------------------------------------
## or
Basis Function Combinator
Basis Function
Same as a \| b.
Gentzen diagram.
### Definition
if not basis.
### Derivation
if not basis.
### Source
if basis
### Discussion
Lorem ipsum.
Logical bit-wise OR.
### Crosslinks
Lorem ipsum.
[and]
[xor]
------------------------------------------------------------------------
## over
Basis Function Combinator
Function
(a2 a1 -- a2 a1 a2)
[dup] the second item on the stack `over` the first.
Gentzen diagram.
a b over
--------------
a b a
### Definition
if not basis.
There are many many ways to define this function.
### Derivation
> [swap] [tuck]
if not basis.
> \[[pop]\] [nullary]
### Source
> \[[dup]\] [dip] [swap]
if basis
> [unit] [dupdip]
> [unit] [dupdipd] [first]
And so on...
### Discussion
Lorem ipsum.
A fine old word from Forth.
### Crosslinks
Lorem ipsum.
[tuck]
------------------------------------------------------------------------

27
docs/reference/of.md
View File

@ -2,28 +2,21 @@
## of
Basis Function Combinator
Function
swap at
Like [getitem] but [swap]s the order of arguments.
Gentzen diagram.
### Example
2 [a b c d] of
--------------------
c
### Definition
if not basis.
### Derivation
if not basis.
### Source
if basis
### Discussion
Lorem ipsum.
> [swap] [getitem]
### Crosslinks
Lorem ipsum.
[getitem]

26
docs/reference/or.md
View File

@ -2,28 +2,12 @@
## or
Basis Function Combinator
Basis Function
Same as a \| b.
Gentzen diagram.
### Definition
if not basis.
### Derivation
if not basis.
### Source
if basis
### Discussion
Lorem ipsum.
Logical bit-wise OR.
### Crosslinks
Lorem ipsum.
[and]
[xor]

27
docs/reference/over.md
View File

@ -2,28 +2,35 @@
## over
Basis Function Combinator
Function
(a2 a1 -- a2 a1 a2)
[dup] the second item on the stack `over` the first.
Gentzen diagram.
a b over
--------------
a b a
### Definition
if not basis.
There are many many ways to define this function.
### Derivation
> [swap] [tuck]
if not basis.
> \[[pop]\] [nullary]
### Source
> \[[dup]\] [dip] [swap]
if basis
> [unit] [dupdip]
> [unit] [dupdipd] [first]
And so on...
### Discussion
Lorem ipsum.
A fine old word from Forth.
### Crosslinks
Lorem ipsum.
[tuck]