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

Goodness, that was brutal. 

The `!-` name doesn't work as a title for the conversion from ReST to
Markdown.  Maybe that's a bug in Pandoc, but more likely it's a legit
syntax gotcha in Mearkdown itself.

    !-
    ^^^^

In ReST turns into:

    !-\^\^\^\^

In the Markdown.  :(

It should be:

    # !-

Instead.
This commit is contained in:
Simon Forman 2022-03-23 13:02:19 -07:00
parent 18b7c1f6a9
commit 188f6e42c7
215 changed files with 3449 additions and 7025 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
docs/reference/AMPERSAND.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# & ## &
Basis Function Combinator See [and](#and).
Same as a & b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

12
docs/reference/AMPERSAND•AMPERSAND.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# && ## &&
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

29
docs/reference/ASTERISK.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# \* ## *
Basis Function Combinator See [mul](#mul).
Same as a \* b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/BULLET.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# • ## •
Basis Function Combinator See [id](#id).
The identity function.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/CIRCUMFLEX-ACCENT.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# \^ ## ^
Basis Function Combinator See [xor](#xor).
Same as a \^ b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/EQUALS-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# = ## =
Basis Function Combinator See [eq](#eq).
Same as a == b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/EXCLAMATION-MARK•EQUALS-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# != ## !=
Basis Function Combinator See [ne](#ne).
Same as a != b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

12
docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
!-\^\^\^\^ ## !-
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
# Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

3917
docs/reference/FuncRef.html
View File

File diff suppressed because it is too large Load Diff

2876
docs/reference/Functor-Reference.md
View File

File diff suppressed because it is too large Load Diff

29
docs/reference/GREATER-THAN-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# \> ## >
Basis Function Combinator See [gt](#gt).
Same as a \> b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/GREATER-THAN-SIGN•EQUALS-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# \>= ## >=
Basis Function Combinator See [ge](#ge).
Same as a \>= b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# \>\> ## >>
Basis Function Combinator See [rshift](#rshift).
Same as a \>\> b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/HYPHEN-MINUS.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
-\^\^\^ ## -
Basis Function Combinator See [sub](#sub).
Same as a - b.
Gentzen diagram.
# Definition
if not basis.
# Derivation
if not basis.
# Source
if basis
# Discussion
Lorem ipsum.
# Crosslinks
Lorem ipsum.

29
docs/reference/HYPHEN-MINUS•HYPHEN-MINUS.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
\--\^\^\^\^ ## --
Basis Function Combinator See [pred](#pred).
Decrement TOS.
Gentzen diagram.
# Definition
if not basis.
# Derivation
if not basis.
# Source
if basis
# Discussion
Lorem ipsum.
# Crosslinks
Lorem ipsum.

29
docs/reference/LESS-THAN-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# \< ## <
Basis Function Combinator See [lt](#lt).
Same as a \< b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/LESS-THAN-SIGN•EQUALS-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# \<= ## <=
Basis Function Combinator See [le](#le).
Same as a \<= b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/LESS-THAN-SIGN•GREATER-THAN-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# \<\> ## <>
Basis Function Combinator See [ne](#ne).
Same as a != b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

12
docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# \<{} ## \<{}
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

29
docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# \<\< ## <<
Basis Function Combinator See [lshift](#lshift).
Same as a \<\< b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

12
docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# \<\<{} ## \<\<{}
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

2
docs/reference/Makefile
View File

@ -1,4 +1,4 @@
NOT_US = Functor-Reference.md FORMAT-Functor-Reference.md NOT_US = Functor-Reference.md FORMAT-Functor-Reference.md HEADER.md
FUNCDOCS = $(filter-out $(NOT_US),$(wildcard *.md)) FUNCDOCS = $(filter-out $(NOT_US),$(wildcard *.md))

29
docs/reference/PERCENT-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# % ## %
Basis Function Combinator See [mod](#mod).
Same as a % b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/PLUS-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# + ## +
Basis Function Combinator See [add](#add).
Same as a + b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/PLUS-SIGN•PLUS-SIGN.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# ++ ## ++
Basis Function Combinator See [succ](#succ).
Increment TOS.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

12
docs/reference/QUESTION-MARK.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# ? ## ?
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

29
docs/reference/SOLIDUS.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# / ## /
Basis Function Combinator See [floordiv](#floordiv).
Same as a // b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/SOLIDUS•SOLIDUS.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# // ## //
Basis Function Combinator See [floordiv](#floordiv).
Same as a // b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

29
docs/reference/SOLIDUS•floor.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# /floor ## /floor
Basis Function Combinator See [floordiv](#floordiv).
Same as a // b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

12
docs/reference/VERTICAL-LINE•VERTICAL-LINE.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# \|\| ## \|\|
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/abs.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# abs ## abs
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ Return the absolute value of the argument.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/add.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# add ## add
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/anamorphism.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# anamorphism ## anamorphism
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/and.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# and ## and
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/app2.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# app2 ## app2
Basis Function Combinator Basis Function Combinator
@ -13,22 +13,22 @@ Like app1 with two items.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/app3.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# app3 ## app3
Basis Function Combinator Basis Function Combinator
@ -14,22 +14,22 @@ Like app1 with three items.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/appN.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# appN ## appN
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

36
docs/reference/at.md
View File

@ -1,36 +1,6 @@
------------------------------------------------------------------------ --------------
# at ## at
Basis Function Combinator See [getitem](#getitem).
getitem == drop first
Expects an integer and a quote on the stack and returns the item at the
nth position in the quote counting from 0. :
[a b c d] 0 getitem
-------------------------
a
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

12
docs/reference/average.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# average ## average
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/bool.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# bool ## bool
Basis Function Combinator Basis Function Combinator
@ -12,22 +12,22 @@ bool is a subclass of the class int, and cannot be subclassed.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/branch.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# branch ## branch
Basis Function Combinator Basis Function Combinator
@ -18,22 +18,22 @@ Use a Boolean value to select one of two quoted programs to run.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/ccccons.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# ccccons ## ccccons
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ ccons ccons
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/choice.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# choice ## choice
Basis Function Combinator Basis Function Combinator
@ -21,22 +21,22 @@ etc.)
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/clear.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# clear ## clear
Basis Function Combinator Basis Function Combinator
@ -13,22 +13,22 @@ Clear everything from the stack.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/cleave.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# cleave ## cleave
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ fork popdd
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/clop.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# clop ## clop
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ cleave popdd
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/cmp.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# cmp ## cmp
Basis Function Combinator Basis Function Combinator
@ -21,22 +21,22 @@ of the three depending on the results of comparing the two values: :
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/codi.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# codi ## codi
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ cons dip
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/codireco.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# codireco ## codireco
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ codi reco
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/concat.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# concat ## concat
Basis Function Combinator Basis Function Combinator
@ -12,22 +12,22 @@ Concatinate the two lists on the top of the stack. :
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/cond.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# cond ## cond
Basis Function Combinator Basis Function Combinator
@ -19,22 +19,22 @@ expressions, e.g.:
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/dinfrirst.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# dinfrirst ## dinfrirst
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ dip infrst
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/dip.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# dip ## dip
Basis Function Combinator Basis Function Combinator
@ -14,22 +14,22 @@ on the rest of the stack. :
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/dipd.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# dipd ## dipd
Basis Function Combinator Basis Function Combinator
@ -12,22 +12,22 @@ Like dip but expects two items. :
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/dipdd.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# dipdd ## dipdd
Basis Function Combinator Basis Function Combinator
@ -12,22 +12,22 @@ Like dip but expects three items. :
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/disenstacken.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# disenstacken ## disenstacken
Basis Function Combinator Basis Function Combinator
@ -9,22 +9,22 @@ that the stack discarding the rest of the stack.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

29
docs/reference/div.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# div ## div
Basis Function Combinator See [floordiv](#floordiv).
Same as a // b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

12
docs/reference/divmod.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# divmod ## divmod
Basis Function Combinator Basis Function Combinator
@ -10,22 +10,22 @@ Return the tuple (x//y, x%y). Invariant: q \* y + r == x.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/down_to_zero.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# down_to_zero ## down_to_zero
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/drop.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# drop ## drop
Basis Function Combinator Basis Function Combinator
@ -15,22 +15,22 @@ items removed off the top. :
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/dup.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# dup ## dup
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/dupd.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# dupd ## dupd
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/dupdd.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# dupdd ## dupdd
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/dupdip.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# dupdip ## dupdip
Basis Function Combinator Basis Function Combinator
@ -13,22 +13,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/dupdipd.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# dupdipd ## dupdipd
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ dup dipd
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/enstacken.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# enstacken ## enstacken
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ stack \[clear\] dip
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/eq.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# eq ## eq
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/first.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# first ## first
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/first_two.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# first_two ## first_two
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/flatten.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# flatten ## flatten
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/floor.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# floor ## floor
Basis Function Combinator Basis Function Combinator
@ -10,22 +10,22 @@ This is the largest integer \<= x.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/floordiv.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# floordiv ## floordiv
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/fork.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# fork ## fork
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/fourth.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# fourth ## fourth
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/gcd.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# gcd ## gcd
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ true \[tuck mod dup 0 \>\] loop pop
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/gcd2.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# gcd2 ## gcd2
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ Compiled GCD 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/ge.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# ge ## ge
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/genrec.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# genrec ## genrec
Basis Function Combinator Basis Function Combinator
@ -50,22 +50,22 @@ Primitive recursive functions are those where R2 == i. :
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/getitem.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# getitem ## getitem
Basis Function Combinator Basis Function Combinator
@ -15,22 +15,22 @@ nth position in the quote counting from 0. :
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/grabN.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# grabN ## grabN
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/grba.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# grba ## grba
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/gt.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# gt ## gt
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/help.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# help ## help
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ Accepts a quoted symbol on the top of the stack and prints its docs.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/hypot.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# hypot ## hypot
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/id.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# id ## id
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/ifte.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# ifte ## ifte
Basis Function Combinator Basis Function Combinator
@ -22,22 +22,22 @@ if-part using infra.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/ii.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# ii ## ii
Basis Function Combinator Basis Function Combinator
@ -10,22 +10,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/infrst.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# infrst ## infrst
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ infra first
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/inscribe.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# inscribe ## inscribe
Basis Function Combinator Basis Function Combinator
@ -12,22 +12,22 @@ example:
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/le.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# le ## le
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/loop.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# loop ## loop
Basis Function Combinator Basis Function Combinator
@ -16,22 +16,22 @@ Basic loop 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/lshift.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# lshift ## lshift
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/lt.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# lt ## lt
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/make_generator.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# make_generator ## make_generator
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/map.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# map ## map
Basis Function Combinator Basis Function Combinator
@ -9,22 +9,22 @@ new list with the results in place of the program and original list.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/max.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# max ## max
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ Given a list find the maximum.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/min.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# min ## min
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ Given a list find the minimum.
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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

12
docs/reference/mod.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# mod ## mod
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

29
docs/reference/modulus.md
View File

@ -1,29 +1,6 @@
------------------------------------------------------------------------ --------------
# modulus ## modulus
Basis Function Combinator See [mod](#mod).
Same as a % b.
Gentzen diagram.
## Definition
if not basis.
## Derivation
if not basis.
## Source
if basis
## Discussion
Lorem ipsum.
## Crosslinks
Lorem ipsum.

12
docs/reference/mul.md
View File

@ -1,6 +1,6 @@
------------------------------------------------------------------------ ------------------------------------------------------------------------
# mul ## mul
Basis Function Combinator Basis Function Combinator
@ -8,22 +8,22 @@ 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. Lorem ipsum.
## Crosslinks ### Crosslinks
Lorem ipsum. Lorem ipsum.

Some files were not shown because too many files have changed in this diff Show More