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

The N's.

This commit is contained in:
Simon Forman 2022-03-27 11:11:20 -07:00
parent 6bfa06b34c
commit aae78523d3
6 changed files with 470 additions and 552 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

File diff suppressed because it is too large Load Diff

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

@ -2298,124 +2298,78 @@ stack, replacing them with a Boolean value.
## neg
Basis Function Combinator
Function
Same as -a.
Gentzen diagram.
Invert the sign of a number.
a neg
-----------
-a
### Definition
if not basis.
> 0 [swap] [-]
### Derivation
if not basis.
### Source
if basis
### Discussion
Lorem ipsum.
### Crosslinks
Lorem ipsum.
------------------------------------------------------------------------
## not
Basis Function Combinator
Function
Same as not a.
Like [bool] but convert the item on the top of the stack to the inverse
Boolean value.
Gentzen diagram.
true not
--------------
false
false not
---------------
true
### Definition
if not basis.
### Derivation
if not basis.
### Source
if basis
### Discussion
Lorem ipsum.
> [bool] \[true\] \[false\] [branch]
### Crosslinks
Lorem ipsum.
--------------------
## !-
"not negative"
(Function, Boolean Predicate)
Integer on top of stack is replaced by Boolean value indicating whether
it is non-negative.
N !-
----------- N < 0
false
N !-
---------- N >= 0
true
### Definition
0 >=
[bool]
------------------------------------------------------------------------
## nulco
Basis Function Combinator
Function
\[nullary\] cons
Take the item on the top of the stack and [cons] it onto `[nullary]`.
Gentzen diagram.
[F] nulco
-------------------
[[F] nullary]
### Definition
if not basis.
### Derivation
if not basis.
### Source
if basis
> \[[nullary]\] [cons]
### Discussion
Lorem ipsum.
Helper function for [\|\|] and [&&].
### Crosslinks
Lorem ipsum.
[&&]
[\|\|]
--------------------
## nullary
(Combinator)
Combinator
Run a quoted program without using any stack values and leave the first item of the result on the stack.
Run a quoted program without using any stack values and leave the first
item of the result on the stack.
... [P] nullary
---------------------
@ -2423,9 +2377,9 @@ Run a quoted program without using any stack values and leave the first item of
### Definition
[stack] dip infra first
> \[[stack]\] [dip] [infra] [first]
### Derivation
### Example
... [P] nullary
... [P] [stack] dip infra first

26
docs/reference/neg.md
View File

@ -2,28 +2,14 @@
## neg
Basis Function Combinator
Function
Same as -a.
Gentzen diagram.
Invert the sign of a number.
a neg
-----------
-a
### Definition
if not basis.
> 0 [swap] [-]
### Derivation
if not basis.
### Source
if basis
### Discussion
Lorem ipsum.
### Crosslinks
Lorem ipsum.

30
docs/reference/not.md
View File

@ -2,28 +2,24 @@
## not
Basis Function Combinator
Function
Same as not a.
Like [bool] but convert the item on the top of the stack to the inverse
Boolean value.
Gentzen diagram.
true not
--------------
false
false not
---------------
true
### Definition
if not basis.
### Derivation
if not basis.
### Source
if basis
### Discussion
Lorem ipsum.
> [bool] \[true\] \[false\] [branch]
### Crosslinks
Lorem ipsum.
[bool]

24
docs/reference/nulco.md
View File

@ -2,28 +2,24 @@
## nulco
Basis Function Combinator
Function
\[nullary\] cons
Take the item on the top of the stack and [cons] it onto `[nullary]`.
Gentzen diagram.
[F] nulco
-------------------
[[F] nullary]
### Definition
if not basis.
### Derivation
if not basis.
### Source
if basis
> \[[nullary]\] [cons]
### Discussion
Lorem ipsum.
Helper function for [\|\|] and [&&].
### Crosslinks
Lorem ipsum.
[&&]
[\|\|]

15
docs/reference/nullary.md
View File

@ -2,26 +2,27 @@
## nullary
(Combinator)
Combinator
Run a quoted program without using any stack values and leave the first item of the result on the stack.
Run a quoted program without using any stack values and leave the first
item of the result on the stack.
... [P] nullary
---------------------
... A
... a
### Definition
[stack] dip infra first
> \[[stack]\] [dip] [infra] [first]
### Derivation
### Example
... [P] nullary
... [P] [stack] dip infra first
... stack [P] infra first
... [...] [P] infra first
... [A ...] first
... A
... [a ...] first
... a
### Discussion