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

Only two E's.

Browse Source
This commit is contained in:
Simon Forman
2022-03-24 20:27:22 -07:00
parent 14554527b4
commit 90aa426bbd
4 changed files with 395 additions and 407 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/reference/enstacken.md
+13 -14
View File
@@ -2,28 +2,27 @@
## enstacken ## enstacken
Basis Function Combinator Function
stack \[clear\] dip Put the stack onto the stack replacing the contents of the stack.
... a b c enstacken
-------------------------
[c b a ...]
Gentzen diagram.
### Definition ### Definition
if not basis. > [stack] \[[clear]\] [dip]
### Derivation
if not basis.
### Source
if basis
### Discussion ### Discussion
Lorem ipsum. This is a destructive version of [stack]. See the note under
[disenstacken] about the apparent but illusory reversal of the stack.
### Crosslinks ### Crosslinks
Lorem ipsum. [stack]
[unstack]
[disenstacken]
docs/reference/eq.md
+13 -16
View File
@@ -2,23 +2,14 @@
## eq ## eq
Basis Function Combinator Basis Function
Same as a == b. Compare the two items on the top of the stack for equality and replace
them with a Boolean value.
Gentzen diagram. a b eq
-------------
### Definition Boolean
if not basis.
### Derivation
if not basis.
### Source
if basis
### Discussion ### Discussion
@@ -26,4 +17,10 @@ Lorem ipsum.
### Crosslinks ### Crosslinks
Lorem ipsum. [cmp]
[ge]
[gt]
[le]
[lt]
[ne]
docs/reference/mkref/FuncRef.html
+343 -347
View File
File diff suppressed because it is too large Load Diff
docs/reference/mkref/Functor-Reference.md
+26 -30
View File
@@ -1341,53 +1341,43 @@ Run a copy of program `F` under the next item down on the stack.
## enstacken ## enstacken
Basis Function Combinator Function
stack \[clear\] dip Put the stack onto the stack replacing the contents of the stack.
... a b c enstacken
-------------------------
[c b a ...]
Gentzen diagram.
### Definition ### Definition
if not basis. > [stack] \[[clear]\] [dip]
### Derivation
if not basis.
### Source
if basis
### Discussion ### Discussion
Lorem ipsum. This is a destructive version of [stack]. See the note under
[disenstacken] about the apparent but illusory reversal of the stack.
### Crosslinks ### Crosslinks
Lorem ipsum. [stack]
[unstack]
[disenstacken]
------------------------------------------------------------------------ ------------------------------------------------------------------------
## eq ## eq
Basis Function Combinator Basis Function
Same as a == b. Compare the two items on the top of the stack for equality and replace
them with a Boolean value.
Gentzen diagram. a b eq
-------------
### Definition Boolean
if not basis.
### Derivation
if not basis.
### Source
if basis
### Discussion ### Discussion
@@ -1395,7 +1385,13 @@ Lorem ipsum.
### Crosslinks ### Crosslinks
Lorem ipsum. [cmp]
[ge]
[gt]
[le]
[lt]
[ne]
------------------------------------------------------------------------ ------------------------------------------------------------------------