diff --git a/docs/yow/AMPERSAND.rst b/docs/yow/AMPERSAND.rst index 0efa6bb..10f95ad 100644 --- a/docs/yow/AMPERSAND.rst +++ b/docs/yow/AMPERSAND.rst @@ -9,24 +9,31 @@ Same as a & b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/AMPERSAND•AMPERSAND.rst b/docs/yow/AMPERSAND•AMPERSAND.rst index 06b8eb5..7fe918b 100644 --- a/docs/yow/AMPERSAND•AMPERSAND.rst +++ b/docs/yow/AMPERSAND•AMPERSAND.rst @@ -9,24 +9,31 @@ nulco [nullary [false]] dip branch Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/ASTERISK.rst b/docs/yow/ASTERISK.rst index 6c1aa02..470ed09 100644 --- a/docs/yow/ASTERISK.rst +++ b/docs/yow/ASTERISK.rst @@ -9,24 +9,31 @@ Same as a * b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/BULLET.rst b/docs/yow/BULLET.rst index 679c185..af0fff0 100644 --- a/docs/yow/BULLET.rst +++ b/docs/yow/BULLET.rst @@ -9,24 +9,31 @@ The identity function. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/CIRCUMFLEX-ACCENT.rst b/docs/yow/CIRCUMFLEX-ACCENT.rst index cb8cb94..8079015 100644 --- a/docs/yow/CIRCUMFLEX-ACCENT.rst +++ b/docs/yow/CIRCUMFLEX-ACCENT.rst @@ -9,24 +9,31 @@ Same as a ^ b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/EQUALS-SIGN.rst b/docs/yow/EQUALS-SIGN.rst index 76e922f..dc5bcb0 100644 --- a/docs/yow/EQUALS-SIGN.rst +++ b/docs/yow/EQUALS-SIGN.rst @@ -9,24 +9,31 @@ Same as a == b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst b/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst index 010ba30..0c0ca5b 100644 --- a/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst +++ b/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst @@ -9,24 +9,31 @@ Same as a != b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst b/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst index a821845..72a3971 100644 --- a/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst +++ b/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst @@ -9,24 +9,31 @@ Basis Function Combinator Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/GREATER-THAN-SIGN.rst b/docs/yow/GREATER-THAN-SIGN.rst index 556c76b..2f2e2b8 100644 --- a/docs/yow/GREATER-THAN-SIGN.rst +++ b/docs/yow/GREATER-THAN-SIGN.rst @@ -9,24 +9,31 @@ Same as a > b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst b/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst index 527f2a2..6c6804e 100644 --- a/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst +++ b/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst @@ -9,24 +9,31 @@ Same as a >= b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst b/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst index e26f919..d7c3156 100644 --- a/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst +++ b/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst @@ -9,24 +9,31 @@ Same as a >> b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/HYPHEN-MINUS.rst b/docs/yow/HYPHEN-MINUS.rst index 1ee4b56..a79a6bb 100644 --- a/docs/yow/HYPHEN-MINUS.rst +++ b/docs/yow/HYPHEN-MINUS.rst @@ -9,24 +9,31 @@ Same as a - b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst index f8270a4..4f8d6c4 100644 --- a/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst +++ b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst @@ -9,24 +9,31 @@ Decrement TOS. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/LESS-THAN-SIGN.rst b/docs/yow/LESS-THAN-SIGN.rst index 14109d4..b77c469 100644 --- a/docs/yow/LESS-THAN-SIGN.rst +++ b/docs/yow/LESS-THAN-SIGN.rst @@ -9,24 +9,31 @@ Same as a < b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst b/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst index d99a24c..ff7e4bd 100644 --- a/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst +++ b/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst @@ -9,24 +9,31 @@ Same as a <= b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst b/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst index b3bd856..5297f9d 100644 --- a/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst +++ b/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst @@ -9,24 +9,31 @@ Same as a != b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst b/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst index 482230b..936a976 100644 --- a/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst +++ b/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst @@ -9,24 +9,31 @@ Basis Function Combinator Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst index 2702e2e..779ee19 100644 --- a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst +++ b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst @@ -9,24 +9,31 @@ Same as a << b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst index 6d9854f..403cbde 100644 --- a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst +++ b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst @@ -9,24 +9,31 @@ Basis Function Combinator Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/PERCENT-SIGN.rst b/docs/yow/PERCENT-SIGN.rst index f091d5c..293d55e 100644 --- a/docs/yow/PERCENT-SIGN.rst +++ b/docs/yow/PERCENT-SIGN.rst @@ -9,24 +9,31 @@ Same as a % b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/PLUS-SIGN.rst b/docs/yow/PLUS-SIGN.rst index 87695f1..21737a8 100644 --- a/docs/yow/PLUS-SIGN.rst +++ b/docs/yow/PLUS-SIGN.rst @@ -9,24 +9,31 @@ Same as a + b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/PLUS-SIGN•PLUS-SIGN.rst b/docs/yow/PLUS-SIGN•PLUS-SIGN.rst index 6dc9964..ae4f288 100644 --- a/docs/yow/PLUS-SIGN•PLUS-SIGN.rst +++ b/docs/yow/PLUS-SIGN•PLUS-SIGN.rst @@ -9,24 +9,31 @@ Increment TOS. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/QUESTION-MARK.rst b/docs/yow/QUESTION-MARK.rst index 96a97fe..95ce373 100644 --- a/docs/yow/QUESTION-MARK.rst +++ b/docs/yow/QUESTION-MARK.rst @@ -9,24 +9,31 @@ dup bool Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/SOLIDUS.rst b/docs/yow/SOLIDUS.rst index 8b561eb..8b9e0ba 100644 --- a/docs/yow/SOLIDUS.rst +++ b/docs/yow/SOLIDUS.rst @@ -9,24 +9,31 @@ Same as a // b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/SOLIDUS•SOLIDUS.rst b/docs/yow/SOLIDUS•SOLIDUS.rst index 0b6ec34..c07f88c 100644 --- a/docs/yow/SOLIDUS•SOLIDUS.rst +++ b/docs/yow/SOLIDUS•SOLIDUS.rst @@ -9,24 +9,31 @@ Same as a // b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/SOLIDUS•floor.rst b/docs/yow/SOLIDUS•floor.rst index 46a9537..c227f76 100644 --- a/docs/yow/SOLIDUS•floor.rst +++ b/docs/yow/SOLIDUS•floor.rst @@ -9,24 +9,31 @@ Same as a // b. Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst b/docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst index 9d439bc..b021e30 100644 --- a/docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst +++ b/docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst @@ -9,24 +9,31 @@ nulco [nullary] dip [true] branch Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/roll•GREATER-THAN-SIGN.rst b/docs/yow/roll•GREATER-THAN-SIGN.rst index 6262cfa..fecc506 100644 --- a/docs/yow/roll•GREATER-THAN-SIGN.rst +++ b/docs/yow/roll•GREATER-THAN-SIGN.rst @@ -14,24 +14,31 @@ Basis Function Combinator Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~ diff --git a/docs/yow/roll•LESS-THAN-SIGN.rst b/docs/yow/roll•LESS-THAN-SIGN.rst index a00033b..185e4f2 100644 --- a/docs/yow/roll•LESS-THAN-SIGN.rst +++ b/docs/yow/roll•LESS-THAN-SIGN.rst @@ -14,24 +14,31 @@ Basis Function Combinator Gentzen diagram. + Definition ~~~~~~~~~~ if not basis. + Derivation ~~~~~~~~~~ if not basis. + Source ~~~~~~~~~~ if basis + Discussion ~~~~~~~~~~ +Lorem ipsum. + + Crosslinks ~~~~~~~~~~