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

Pandoc!? 

<p>if basis</p>
    <h2 id="discussion-60">Discussion</h2>
    <h2 id="crosslinks-59">## Crosslinks</h2>
    <h1 id="drop">drop</h1>
    <p>Basis Function Combinator</p>
This commit is contained in:
Simon Forman 2022-03-23 10:50:32 -07:00
parent 8f0f733ca3
commit 88f8723454
29 changed files with 203 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
docs/yow/AMPERSAND.rst
View File

@ -9,24 +9,31 @@ Same as a & b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/AMPERSAND•AMPERSAND.rst
View File

@ -9,24 +9,31 @@ nulco [nullary [false]] dip branch
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/ASTERISK.rst
View File

@ -9,24 +9,31 @@ Same as a * b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/BULLET.rst
View File

@ -9,24 +9,31 @@ The identity function.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/CIRCUMFLEX-ACCENT.rst
View File

@ -9,24 +9,31 @@ Same as a ^ b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/EQUALS-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a == b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a != b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst
View File

@ -9,24 +9,31 @@ Basis Function Combinator
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/GREATER-THAN-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a > b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a >= b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a >> b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/HYPHEN-MINUS.rst
View File

@ -9,24 +9,31 @@ Same as a - b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst
View File

@ -9,24 +9,31 @@ Decrement TOS.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/LESS-THAN-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a < b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a <= b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a != b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst
View File

@ -9,24 +9,31 @@ Basis Function Combinator
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a << b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst
View File

@ -9,24 +9,31 @@ Basis Function Combinator
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/PERCENT-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a % b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/PLUS-SIGN.rst
View File

@ -9,24 +9,31 @@ Same as a + b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/PLUS-SIGN•PLUS-SIGN.rst
View File

@ -9,24 +9,31 @@ Increment TOS.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/QUESTION-MARK.rst
View File

@ -9,24 +9,31 @@ dup bool
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/SOLIDUS.rst
View File

@ -9,24 +9,31 @@ Same as a // b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/SOLIDUS•SOLIDUS.rst
View File

@ -9,24 +9,31 @@ Same as a // b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/SOLIDUS•floor.rst
View File

@ -9,24 +9,31 @@ Same as a // b.
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst
View File

@ -9,24 +9,31 @@ nulco [nullary] dip [true] branch
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/roll•GREATER-THAN-SIGN.rst
View File

@ -14,24 +14,31 @@ Basis Function Combinator
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~

7
docs/yow/roll•LESS-THAN-SIGN.rst
View File

@ -14,24 +14,31 @@ Basis Function Combinator
Gentzen diagram. Gentzen diagram.
Definition Definition
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Derivation Derivation
~~~~~~~~~~ ~~~~~~~~~~
if not basis. if not basis.
Source Source
~~~~~~~~~~ ~~~~~~~~~~
if basis if basis
Discussion Discussion
~~~~~~~~~~ ~~~~~~~~~~
Lorem ipsum.
Crosslinks Crosslinks
~~~~~~~~~~ ~~~~~~~~~~