The rest of the G's.
This commit is contained in:
parent
463d7eb9ae
commit
3a71d4669e
|
|
@ -11,7 +11,6 @@ Greater-than-or-equal-to comparison of two numbers.
|
||||||
Boolean
|
Boolean
|
||||||
(a >= b)
|
(a >= b)
|
||||||
|
|
||||||
|
|
||||||
### Crosslinks
|
### Crosslinks
|
||||||
|
|
||||||
[cmp]
|
[cmp]
|
||||||
|
|
|
||||||
|
|
@ -4,26 +4,14 @@
|
||||||
|
|
||||||
Function
|
Function
|
||||||
|
|
||||||
\<{} \[cons\] times
|
Expect a number on the top of the satck and put that many items from uner it onto a new list.
|
||||||
|
|
||||||
Gentzen diagram.
|
### Example
|
||||||
|
|
||||||
|
a b c d e 3 grabN
|
||||||
|
-----------------------
|
||||||
|
a b [c d e]
|
||||||
|
|
||||||
### Definition
|
### Definition
|
||||||
|
|
||||||
if not basis.
|
> [\<\{\}] \[[cons]\] [times]
|
||||||
|
|
||||||
### Derivation
|
|
||||||
|
|
||||||
if not basis.
|
|
||||||
|
|
||||||
### Source
|
|
||||||
|
|
||||||
if basis
|
|
||||||
|
|
||||||
### Discussion
|
|
||||||
|
|
||||||
Lorem ipsum.
|
|
||||||
|
|
||||||
### Crosslinks
|
|
||||||
|
|
||||||
Lorem ipsum.
|
|
||||||
|
|
|
||||||
|
|
@ -2,28 +2,25 @@
|
||||||
|
|
||||||
## grba
|
## grba
|
||||||
|
|
||||||
Basis Function Combinator
|
Function
|
||||||
|
|
||||||
\[stack popd\] dip
|
A weird function used in [app2] that does this:
|
||||||
|
|
||||||
Gentzen diagram.
|
... 1 2 3 4 5 grba
|
||||||
|
-------------------------------
|
||||||
|
... 1 2 3 [4 3 2 1 ...] 5
|
||||||
|
|
||||||
|
It grabs the stack under the top item, and substitutes it for the second item down on the stack.
|
||||||
|
|
||||||
### Definition
|
### Definition
|
||||||
|
|
||||||
if not basis.
|
> \[[stack] [popd]\] [dip]
|
||||||
|
|
||||||
### Derivation
|
|
||||||
|
|
||||||
if not basis.
|
|
||||||
|
|
||||||
### Source
|
|
||||||
|
|
||||||
if basis
|
|
||||||
|
|
||||||
### Discussion
|
### Discussion
|
||||||
|
|
||||||
Lorem ipsum.
|
This function "grabs" an item from the stack along with a copy of the stack.
|
||||||
|
It's part of the [app2] definition.
|
||||||
|
|
||||||
### Crosslinks
|
### Crosslinks
|
||||||
|
|
||||||
Lorem ipsum.
|
[app2]
|
||||||
|
|
|
||||||
|
|
@ -2,28 +2,20 @@
|
||||||
|
|
||||||
## gt
|
## gt
|
||||||
|
|
||||||
Basis Function Combinator
|
Basis Function
|
||||||
|
|
||||||
Same as a \> b.
|
Greater-than comparison of two numbers.
|
||||||
|
|
||||||
Gentzen diagram.
|
a b gt
|
||||||
|
--------------
|
||||||
### Definition
|
Boolean
|
||||||
|
(a > b)
|
||||||
if not basis.
|
|
||||||
|
|
||||||
### Derivation
|
|
||||||
|
|
||||||
if not basis.
|
|
||||||
|
|
||||||
### Source
|
|
||||||
|
|
||||||
if basis
|
|
||||||
|
|
||||||
### Discussion
|
|
||||||
|
|
||||||
Lorem ipsum.
|
|
||||||
|
|
||||||
### Crosslinks
|
### Crosslinks
|
||||||
|
|
||||||
Lorem ipsum.
|
[cmp]
|
||||||
|
[eq]
|
||||||
|
[ge]
|
||||||
|
[le]
|
||||||
|
[lt]
|
||||||
|
[ne]
|
||||||
|
|
|
||||||
File diff suppressed because it is too large
Load Diff
|
|
@ -1621,7 +1621,6 @@ Greater-than-or-equal-to comparison of two numbers.
|
||||||
Boolean
|
Boolean
|
||||||
(a >= b)
|
(a >= b)
|
||||||
|
|
||||||
|
|
||||||
### Crosslinks
|
### Crosslinks
|
||||||
|
|
||||||
[cmp]
|
[cmp]
|
||||||
|
|
@ -1755,91 +1754,68 @@ implementation-dependant.)
|
||||||
|
|
||||||
## grabN
|
## grabN
|
||||||
|
|
||||||
Basis Function Combinator
|
Function
|
||||||
|
|
||||||
\<{} \[cons\] times
|
Expect a number on the top of the satck and put that many items from uner it onto a new list.
|
||||||
|
|
||||||
Gentzen diagram.
|
### Example
|
||||||
|
|
||||||
|
a b c d e 3 grabN
|
||||||
|
-----------------------
|
||||||
|
a b [c d e]
|
||||||
|
|
||||||
### Definition
|
### Definition
|
||||||
|
|
||||||
if not basis.
|
> [\<\{\}] \[[cons]\] [times]
|
||||||
|
|
||||||
### Derivation
|
|
||||||
|
|
||||||
if not basis.
|
|
||||||
|
|
||||||
### Source
|
|
||||||
|
|
||||||
if basis
|
|
||||||
|
|
||||||
### Discussion
|
|
||||||
|
|
||||||
Lorem ipsum.
|
|
||||||
|
|
||||||
### Crosslinks
|
|
||||||
|
|
||||||
Lorem ipsum.
|
|
||||||
|
|
||||||
------------------------------------------------------------------------
|
------------------------------------------------------------------------
|
||||||
|
|
||||||
## grba
|
## grba
|
||||||
|
|
||||||
Basis Function Combinator
|
Function
|
||||||
|
|
||||||
\[stack popd\] dip
|
A weird function used in [app2] that does this:
|
||||||
|
|
||||||
Gentzen diagram.
|
... 1 2 3 4 5 grba
|
||||||
|
-------------------------------
|
||||||
|
... 1 2 3 [4 3 2 1 ...] 5
|
||||||
|
|
||||||
|
It grabs the stack under the top item, and substitutes it for the second item down on the stack.
|
||||||
|
|
||||||
### Definition
|
### Definition
|
||||||
|
|
||||||
if not basis.
|
> \[[stack] [popd]\] [dip]
|
||||||
|
|
||||||
### Derivation
|
|
||||||
|
|
||||||
if not basis.
|
|
||||||
|
|
||||||
### Source
|
|
||||||
|
|
||||||
if basis
|
|
||||||
|
|
||||||
### Discussion
|
### Discussion
|
||||||
|
|
||||||
Lorem ipsum.
|
This function "grabs" an item from the stack along with a copy of the stack.
|
||||||
|
It's part of the [app2] definition.
|
||||||
|
|
||||||
### Crosslinks
|
### Crosslinks
|
||||||
|
|
||||||
Lorem ipsum.
|
[app2]
|
||||||
|
|
||||||
------------------------------------------------------------------------
|
------------------------------------------------------------------------
|
||||||
|
|
||||||
## gt
|
## gt
|
||||||
|
|
||||||
Basis Function Combinator
|
Basis Function
|
||||||
|
|
||||||
Same as a \> b.
|
Greater-than comparison of two numbers.
|
||||||
|
|
||||||
Gentzen diagram.
|
a b gt
|
||||||
|
--------------
|
||||||
### Definition
|
Boolean
|
||||||
|
(a > b)
|
||||||
if not basis.
|
|
||||||
|
|
||||||
### Derivation
|
|
||||||
|
|
||||||
if not basis.
|
|
||||||
|
|
||||||
### Source
|
|
||||||
|
|
||||||
if basis
|
|
||||||
|
|
||||||
### Discussion
|
|
||||||
|
|
||||||
Lorem ipsum.
|
|
||||||
|
|
||||||
### Crosslinks
|
### Crosslinks
|
||||||
|
|
||||||
Lorem ipsum.
|
[cmp]
|
||||||
|
[eq]
|
||||||
|
[ge]
|
||||||
|
[le]
|
||||||
|
[lt]
|
||||||
|
[ne]
|
||||||
|
|
||||||
------------------------------------------------------------------------
|
------------------------------------------------------------------------
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue