From 188f6e42c77fd3f9c4e369f925a19db2bf37dc33 Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Wed, 23 Mar 2022 13:02:19 -0700 Subject: [PATCH] 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. --- docs/reference/AMPERSAND.md | 29 +- docs/reference/AMPERSAND•AMPERSAND.md | 12 +- docs/reference/ASTERISK.md | 29 +- docs/reference/BULLET.md | 29 +- docs/reference/CIRCUMFLEX-ACCENT.md | 29 +- docs/reference/EQUALS-SIGN.md | 29 +- .../reference/EXCLAMATION-MARK•EQUALS-SIGN.md | 29 +- .../EXCLAMATION-MARK•HYPHEN-MINUS.md | 12 +- docs/reference/FuncRef.html | 3917 +++++------------ docs/reference/Functor-Reference.md | 2876 +++++------- docs/reference/GREATER-THAN-SIGN.md | 29 +- .../GREATER-THAN-SIGN•EQUALS-SIGN.md | 29 +- .../GREATER-THAN-SIGN•GREATER-THAN-SIGN.md | 29 +- docs/reference/HYPHEN-MINUS.md | 29 +- docs/reference/HYPHEN-MINUS•HYPHEN-MINUS.md | 29 +- docs/reference/LESS-THAN-SIGN.md | 29 +- docs/reference/LESS-THAN-SIGN•EQUALS-SIGN.md | 29 +- .../LESS-THAN-SIGN•GREATER-THAN-SIGN.md | 29 +- ...•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md | 12 +- .../LESS-THAN-SIGN•LESS-THAN-SIGN.md | 29 +- ...GN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md | 12 +- docs/reference/Makefile | 2 +- docs/reference/PERCENT-SIGN.md | 29 +- docs/reference/PLUS-SIGN.md | 29 +- docs/reference/PLUS-SIGN•PLUS-SIGN.md | 29 +- docs/reference/QUESTION-MARK.md | 12 +- docs/reference/SOLIDUS.md | 29 +- docs/reference/SOLIDUS•SOLIDUS.md | 29 +- docs/reference/SOLIDUS•floor.md | 29 +- docs/reference/VERTICAL-LINE•VERTICAL-LINE.md | 12 +- docs/reference/abs.md | 12 +- docs/reference/add.md | 12 +- docs/reference/anamorphism.md | 12 +- docs/reference/and.md | 12 +- docs/reference/app2.md | 12 +- docs/reference/app3.md | 12 +- docs/reference/appN.md | 12 +- docs/reference/at.md | 36 +- docs/reference/average.md | 12 +- docs/reference/bool.md | 12 +- docs/reference/branch.md | 12 +- docs/reference/ccccons.md | 12 +- docs/reference/choice.md | 12 +- docs/reference/clear.md | 12 +- docs/reference/cleave.md | 12 +- docs/reference/clop.md | 12 +- docs/reference/cmp.md | 12 +- docs/reference/codi.md | 12 +- docs/reference/codireco.md | 12 +- docs/reference/concat.md | 12 +- docs/reference/cond.md | 12 +- docs/reference/dinfrirst.md | 12 +- docs/reference/dip.md | 12 +- docs/reference/dipd.md | 12 +- docs/reference/dipdd.md | 12 +- docs/reference/disenstacken.md | 12 +- docs/reference/div.md | 29 +- docs/reference/divmod.md | 12 +- docs/reference/down_to_zero.md | 12 +- docs/reference/drop.md | 12 +- docs/reference/dup.md | 12 +- docs/reference/dupd.md | 12 +- docs/reference/dupdd.md | 12 +- docs/reference/dupdip.md | 12 +- docs/reference/dupdipd.md | 12 +- docs/reference/enstacken.md | 12 +- docs/reference/eq.md | 12 +- docs/reference/first.md | 12 +- docs/reference/first_two.md | 12 +- docs/reference/flatten.md | 12 +- docs/reference/floor.md | 12 +- docs/reference/floordiv.md | 12 +- docs/reference/fork.md | 12 +- docs/reference/fourth.md | 12 +- docs/reference/gcd.md | 12 +- docs/reference/gcd2.md | 12 +- docs/reference/ge.md | 12 +- docs/reference/genrec.md | 12 +- docs/reference/getitem.md | 12 +- docs/reference/grabN.md | 12 +- docs/reference/grba.md | 12 +- docs/reference/gt.md | 12 +- docs/reference/help.md | 12 +- docs/reference/hypot.md | 12 +- docs/reference/id.md | 12 +- docs/reference/ifte.md | 12 +- docs/reference/ii.md | 12 +- docs/reference/infrst.md | 12 +- docs/reference/inscribe.md | 12 +- docs/reference/le.md | 12 +- docs/reference/loop.md | 12 +- docs/reference/lshift.md | 12 +- docs/reference/lt.md | 12 +- docs/reference/make_generator.md | 12 +- docs/reference/map.md | 12 +- docs/reference/max.md | 12 +- docs/reference/min.md | 12 +- docs/reference/mod.md | 12 +- docs/reference/modulus.md | 29 +- docs/reference/mul.md | 12 +- docs/reference/ne.md | 12 +- docs/reference/neg.md | 12 +- docs/reference/not.md | 12 +- docs/reference/nulco.md | 12 +- docs/reference/of.md | 12 +- docs/reference/or.md | 12 +- docs/reference/over.md | 12 +- docs/reference/pam.md | 12 +- docs/reference/pick.md | 36 +- docs/reference/pm.md | 12 +- docs/reference/pop.md | 12 +- docs/reference/popd.md | 12 +- docs/reference/popdd.md | 12 +- docs/reference/popop.md | 12 +- docs/reference/popopd.md | 12 +- docs/reference/popopdd.md | 12 +- docs/reference/popopop.md | 12 +- docs/reference/pow.md | 12 +- docs/reference/pred.md | 12 +- docs/reference/primrec.md | 12 +- docs/reference/product.md | 12 +- docs/reference/quoted.md | 12 +- docs/reference/range.md | 12 +- docs/reference/range_to_zero.md | 12 +- docs/reference/reco.md | 12 +- docs/reference/rem.md | 29 +- docs/reference/remainder.md | 29 +- docs/reference/remove.md | 12 +- docs/reference/rest.md | 12 +- docs/reference/reverse.md | 12 +- docs/reference/rolldown.md | 12 +- docs/reference/rollup.md | 12 +- docs/reference/roll•GREATER-THAN-SIGN.md | 29 +- docs/reference/roll•LESS-THAN-SIGN.md | 29 +- docs/reference/round.md | 12 +- docs/reference/rrest.md | 12 +- docs/reference/rshift.md | 12 +- docs/reference/run.md | 12 +- docs/reference/second.md | 12 +- docs/reference/select.md | 12 +- docs/reference/sharing.md | 12 +- docs/reference/shift.md | 12 +- docs/reference/shunt.md | 12 +- docs/reference/size.md | 12 +- docs/reference/sort.md | 12 +- docs/reference/spiral_next.md | 12 +- docs/reference/split_at.md | 12 +- docs/reference/split_list.md | 12 +- docs/reference/sqr.md | 12 +- docs/reference/sqrt.md | 12 +- docs/reference/stack.md | 12 +- docs/reference/stackd.md | 12 +- docs/reference/step.md | 12 +- docs/reference/step_zero.md | 12 +- docs/reference/stuncons.md | 12 +- docs/reference/stununcons.md | 12 +- docs/reference/sub.md | 12 +- docs/reference/succ.md | 12 +- docs/reference/sum.md | 12 +- docs/reference/swaack.md | 12 +- docs/reference/swap.md | 12 +- docs/reference/swapd.md | 12 +- docs/reference/swoncat.md | 12 +- docs/reference/swons.md | 12 +- docs/reference/tailrec.md | 12 +- docs/reference/take.md | 12 +- docs/reference/third.md | 12 +- docs/reference/times.md | 12 +- docs/reference/truthy.md | 33 +- docs/reference/tuck.md | 12 +- docs/reference/unique.md | 12 +- docs/reference/unit.md | 12 +- docs/reference/unquoted.md | 12 +- docs/reference/unswons.md | 12 +- docs/reference/void.md | 12 +- docs/reference/warranty.md | 12 +- docs/reference/while.md | 12 +- docs/reference/words.md | 12 +- docs/reference/xor.md | 12 +- docs/reference/zip.md | 12 +- docs/yow/AMPERSAND.md | 27 +- docs/yow/ASTERISK.md | 29 +- docs/yow/BULLET.md | 27 +- docs/yow/CIRCUMFLEX-ACCENT.md | 29 +- docs/yow/EQUALS-SIGN.md | 27 +- docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md | 27 +- docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md | 12 +- docs/yow/GREATER-THAN-SIGN.md | 29 +- docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md | 29 +- .../GREATER-THAN-SIGN•GREATER-THAN-SIGN.md | 29 +- docs/yow/HYPHEN-MINUS.md | 29 +- docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md | 29 +- docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst | 2 +- docs/yow/LESS-THAN-SIGN.md | 29 +- docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md | 29 +- docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md | 29 +- docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md | 29 +- docs/yow/Makefile | 6 +- docs/yow/PERCENT-SIGN.md | 27 +- docs/yow/PLUS-SIGN.md | 27 +- docs/yow/PLUS-SIGN•PLUS-SIGN.md | 27 +- docs/yow/SOLIDUS.md | 27 +- docs/yow/SOLIDUS•SOLIDUS.md | 27 +- docs/yow/SOLIDUS•floor.md | 27 +- docs/yow/aliassess.py | 148 + docs/yow/at.md | 34 +- docs/yow/div.md | 27 +- docs/yow/modulus.md | 27 +- docs/yow/pick.md | 34 +- docs/yow/rem.md | 27 +- docs/yow/remainder.md | 27 +- docs/yow/roll•GREATER-THAN-SIGN.md | 27 +- docs/yow/roll•LESS-THAN-SIGN.md | 29 +- docs/yow/truthy.md | 31 +- docs/yow/wrods.py | 7 + 215 files changed, 3449 insertions(+), 7025 deletions(-) create mode 100644 docs/yow/aliassess.py diff --git a/docs/reference/AMPERSAND.md b/docs/reference/AMPERSAND.md index 8b9c73c..2e43bce 100644 --- a/docs/reference/AMPERSAND.md +++ b/docs/reference/AMPERSAND.md @@ -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. diff --git a/docs/reference/AMPERSAND•AMPERSAND.md b/docs/reference/AMPERSAND•AMPERSAND.md index dcbfc9d..84b7739 100644 --- a/docs/reference/AMPERSAND•AMPERSAND.md +++ b/docs/reference/AMPERSAND•AMPERSAND.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# && +## && Basis Function Combinator @@ -8,22 +8,22 @@ nulco \[nullary \[false\]\] dip branch Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/ASTERISK.md b/docs/reference/ASTERISK.md index bde0412..d530b70 100644 --- a/docs/reference/ASTERISK.md +++ b/docs/reference/ASTERISK.md @@ -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. diff --git a/docs/reference/BULLET.md b/docs/reference/BULLET.md index 0ce0ed7..21b7cc8 100644 --- a/docs/reference/BULLET.md +++ b/docs/reference/BULLET.md @@ -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. diff --git a/docs/reference/CIRCUMFLEX-ACCENT.md b/docs/reference/CIRCUMFLEX-ACCENT.md index 59876a3..3e51a31 100644 --- a/docs/reference/CIRCUMFLEX-ACCENT.md +++ b/docs/reference/CIRCUMFLEX-ACCENT.md @@ -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. diff --git a/docs/reference/EQUALS-SIGN.md b/docs/reference/EQUALS-SIGN.md index dba3f4e..87f2ccf 100644 --- a/docs/reference/EQUALS-SIGN.md +++ b/docs/reference/EQUALS-SIGN.md @@ -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. diff --git a/docs/reference/EXCLAMATION-MARK•EQUALS-SIGN.md b/docs/reference/EXCLAMATION-MARK•EQUALS-SIGN.md index 3e79426..b85d400 100644 --- a/docs/reference/EXCLAMATION-MARK•EQUALS-SIGN.md +++ b/docs/reference/EXCLAMATION-MARK•EQUALS-SIGN.md @@ -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. diff --git a/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md b/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md index 4f6eea7..dddf86c 100644 --- a/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md +++ b/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -!-\^\^\^\^ +## !- Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -# Definition +### Definition if not basis. -# Derivation +### Derivation if not basis. -# Source +### Source if basis -# Discussion +### Discussion Lorem ipsum. -# Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/FuncRef.html b/docs/reference/FuncRef.html index 92fa5dc..19fa8d6 100644 --- a/docs/reference/FuncRef.html +++ b/docs/reference/FuncRef.html @@ -152,1427 +152,198 @@ @@ -1580,472 +351,217 @@

Version -10.0.0

Each function, combinator, or definition should be documented here.


-

&

-

Basis Function Combinator

-

Same as a & b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

&

+

See and.


-

&&

+

&&

Basis Function Combinator

nulco [nullary [false]] dip branch

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

*

-

Basis Function Combinator

-

Same as a * b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

*

+

See mul.


-

-

Basis Function Combinator

-

The identity function.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

+

See id.


-

^

-

Basis Function Combinator

-

Same as a ^ b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

^

+

See xor.


-

=

-

Basis Function Combinator

-

Same as a == b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

=

+

See eq.


-

!=

-

Basis Function Combinator

-

Same as a != b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

!=

+

See ne.


-

!-^^^^

+

!-

Basis Function Combinator

0 >=

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

-

Crosslinks

+

Lorem ipsum.


-

>

-

Basis Function Combinator

-

Same as a > b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

>

+

See gt.


-

>=

-

Basis Function Combinator

-

Same as a >= b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

>=

+

See ge.


-

>>

-

Basis Function Combinator

-

Same as a >> b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

-

Functor Reference

-

Version -10.0.0

-

Each function, combinator, or definition should be documented here.

+

>>

+

See rshift.


-

-^^^

-

Basis Function Combinator

-

Same as a - b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

-

Crosslinks

-

Lorem ipsum.

+

-

+

See sub.


-

--^^^^

-

Basis Function Combinator

-

Decrement TOS.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

-

Crosslinks

-

Lorem ipsum.

+

+

See pred.


-

<

-

Basis Function Combinator

-

Same as a < b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

<

+

See lt.


-

<=

-

Basis Function Combinator

-

Same as a <= b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

<=

+

See le.


-

<>

-

Basis Function Combinator

-

Same as a != b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

<>

+

See ne.


-

<

+

<

Basis Function Combinator

[] swap

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

<<

-

Basis Function Combinator

-

Same as a << b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

<<

+

See lshift.


-

<<

+

<<

Basis Function Combinator

[] rollup

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

%

-

Basis Function Combinator

-

Same as a % b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

%

+

See mod.


-

+

-

Basis Function Combinator

-

Same as a + b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

+

+

See add.


-

++

-

Basis Function Combinator

-

Increment TOS.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

++

+

See succ.


-

?

+

?

Basis Function Combinator

dup bool

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

/

-

Basis Function Combinator

-

Same as a // b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

/

+

See floordiv.


-

//

-

Basis Function Combinator

-

Same as a // b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

//

+

See floordiv.


-

/floor

-

Basis Function Combinator

-

Same as a // b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

/floor

+

See floordiv.


-

||

+

||

Basis Function Combinator

nulco [nullary] dip [true] branch

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

abs

+

abs

Basis Function Combinator

Return the absolute value of the argument.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

add

+

add

Basis Function Combinator

Same as a + b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

anamorphism

+

anamorphism

Basis Function Combinator

[pop []] swap [dip swons] genrec

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

and

+

and

Basis Function Combinator

Same as a & b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


app1

@@ -2055,12 +571,12 @@
         ... x [Q] app1
 ---------------------------------
    ... [x ...] [Q] infra first
-

Definition

+

Definition

nullary popd
-

Discussion

+

Discussion

Just a specialization of nullary really. Its parallelizable cousins are more useful.


-

app2

+

app2

Basis Function Combinator

Like app1 with two items.
@@ -2068,18 +584,18 @@

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

app3

+

app3

Basis Function Combinator

Like app1 with three items.
@@ -2087,64 +603,48 @@

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

appN

+

appN

Basis Function Combinator

[grabN] codi map disenstacken

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

at

-

Basis Function Combinator

-
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.

- -

Lorem ipsum.

+

at

+

See getitem.


-

average

+

average

Basis Function Combinator

[sum] [size] cleave /

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


b

@@ -2153,17 +653,17 @@
   [P] [Q] b
 ---------------
       P Q
-

Definition

+

Definition

[i] dip i
-

Derivation

+

Derivation

[P] [Q] b
 [P] [Q] [i] dip i
 [P] i [Q] i
  P    [Q] i
  P     Q
-

Discussion

+

Discussion

This combinator comes in handy.

- +

dupdip ii


binary

@@ -2172,30 +672,30 @@
   ... y x [P] binary
 -----------------------
         ... A
-

Definition

+

Definition

unary popd
-

Discussion

+

Discussion

Runs any other quoted function and returns its first result while consuming exactly two items from the stack.

- +

nullary ternary unary


-

bool

+

bool

Basis Function Combinator

bool(x) -> bool

Returns True when the argument x is true, False otherwise. The builtins True and False are the only two instances of the class bool. The class bool is a subclass of the class int, and cannot be subclassed.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

branch

+

branch

Basis Function Combinator

Use a Boolean value to select one of two quoted programs to run.

branch == roll< choice i
@@ -2208,30 +708,30 @@ True [F] [T] branch
 -------------------------
       T

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

ccccons

+

ccccons

Basis Function Combinator

ccons ccons

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


ccons

@@ -2240,14 +740,14 @@ True [F] [T] branch
   B A [...] ccons
 ---------------------
       [B A ...]
-

Definition

+

Definition

cons cons
-

Discussion

+

Discussion

Does cons twice.

- +

cons


-

choice

+

choice

Basis Function Combinator

Use a Boolean value to select one of two items. :

A B false choice
@@ -2260,18 +760,18 @@ A B true choice
   B

Currently Python semantics are used to evaluate the "truthiness" of the Boolean value (so empty string, zero, etc. are counted as false, etc.)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

clear

+

clear

Basis Function Combinator

Clear everything from the stack.
@@ -2281,48 +781,48 @@ A B true choice

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

cleave

+

cleave

Basis Function Combinator

fork popdd

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

clop

+

clop

Basis Function Combinator

cleave popdd

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

cmp

+

cmp

Basis Function Combinator

cmp takes two values and three quoted programs on the stack and runs one of the three depending on the results of comparing the two values: :

a b [G] [E] [L] cmp
@@ -2337,66 +837,66 @@ a b [G] [E] [L] cmp
 ------------------------- a < b
      L

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

codi

+

codi

Basis Function Combinator

cons dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

codireco

+

codireco

Basis Function Combinator

codi reco

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

concat

+

concat

Basis Function Combinator

Concatinate the two lists on the top of the stack. :

[a b c] [d e f] concat
 ----------------------------
     [a b c d e f]

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

cond

+

cond

Basis Function Combinator

This combinator works like a case statement. It expects a single quote on the stack that must contain zero or more condition quotes and a default quote. Each condition clause should contain a quoted predicate followed by the function expression to run if that predicate returns true. If no predicates return true the default function runs.

It works by rewriting into a chain of nested ifte expressions, e.g.:

@@ -2404,15 +904,15 @@ a b [G] [E] [L] cmp ----------------------------------------- [B0] [T0] [[B1] [T1] [D] ifte] ifte

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


cons

@@ -2421,144 +921,132 @@ a b [G] [E] [L] cmp
   A [...] cons
 ------------------
      [A ...]
-

Source

+

Source

func(cons, [list(A), B|S], [list([B|A])|S]).
-

Discussion

+

Discussion

Cons is a venerable old function from Lisp. It doesn’t inspect the item but it will not cons onto a non-list. It’s inverse operation is called uncons.

- +

ccons uncons


-

dinfrirst

+

dinfrirst

Basis Function Combinator

dip infrst

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

dip

+

dip

Basis Function Combinator

The dip combinator expects a quoted program on the stack and below it some item, it hoists the item into the expression and runs the program on the rest of the stack. :

... x [Q] dip
 -------------------
   ... Q x

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

dipd

+

dipd

Basis Function Combinator

Like dip but expects two items. :

... y x [Q] dip
 ---------------------
   ... Q y x

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

dipdd

+

dipdd

Basis Function Combinator

Like dip but expects three items. :

... z y x [Q] dip
 -----------------------
   ... Q z y x

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

disenstacken

+

disenstacken

Basis Function Combinator

The disenstacken operator expects a list on top of the stack and makes that the stack discarding the rest of the stack.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

div

-

Basis Function Combinator

-

Same as a // b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

div

+

See floordiv.


-

divmod

+

divmod

Basis Function Combinator

divmod(x, y) -> (quotient, remainder)

Return the tuple (x//y, x%y). Invariant: q * y + r == x.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

down_to_zero

+

down_to_zero

Basis Function Combinator

[0 >] [dup --] while

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

drop

+

drop

Basis Function Combinator

drop == [rest] times

Expects an integer and a quote on the stack and returns the quote with n items removed off the top. :

@@ -2566,63 +1054,63 @@ a b [G] [E] [L] cmp ---------------------- [c d]

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

dup

+

dup

Basis Function Combinator

(a1 -- a1 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

dupd

+

dupd

Basis Function Combinator

(a2 a1 -- a2 a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

dupdd

+

dupdd

Basis Function Combinator

(a3 a2 a1 -- a3 a3 a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

dupdip

+

dupdip

Basis Function Combinator

[F] dupdip == dup [F] dip
 
@@ -2631,214 +1119,214 @@ a b [G] [E] [L] cmp
 ... a a   [F] dip
 ... a F a

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

dupdipd

+

dupdipd

Basis Function Combinator

dup dipd

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

enstacken

+

enstacken

Basis Function Combinator

stack [clear] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

eq

+

eq

Basis Function Combinator

Same as a == b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

first

+

first

Basis Function Combinator

([a1 ...1] -- a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

first_two

+

first_two

Basis Function Combinator

([a1 a2 ...1] -- a1 a2)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

flatten

+

flatten

Basis Function Combinator

<{} [concat] step

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

floor

+

floor

Basis Function Combinator

Return the floor of x as an Integral.

This is the largest integer <= x.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

floordiv

+

floordiv

Basis Function Combinator

Same as a // b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

fork

+

fork

Basis Function Combinator

[i] app2

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

fourth

+

fourth

Basis Function Combinator

([a1 a2 a3 a4 ...1] -- a4)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

gcd

+

gcd

Basis Function Combinator

true [tuck mod dup 0 >] loop pop

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

gcd2

+

gcd2

Basis Function Combinator

Compiled GCD function.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

ge

+

ge

Basis Function Combinator

Same as a >= b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

genrec

+

genrec

Basis Function Combinator

General Recursion Combinator. :

[if] [then] [rec1] [rec2] genrec
@@ -2858,18 +1346,18 @@ a b [G] [E] [L] cmp
   == [I] [T] [R [P] i] ifte
   == [I] [T] [R P] ifte

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

getitem

+

getitem

Basis Function Combinator

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. :

@@ -2877,90 +1365,90 @@ a b [G] [E] [L] cmp ------------------------- a

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

grabN

+

grabN

Basis Function Combinator

<{} [cons] times

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

grba

+

grba

Basis Function Combinator

[stack popd] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

gt

+

gt

Basis Function Combinator

Same as a > b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

help

+

help

Basis Function Combinator

Accepts a quoted symbol on the top of the stack and prints its docs.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

hypot

+

hypot

Basis Function Combinator

[sqr] ii + sqrt

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


i

@@ -2969,27 +1457,27 @@ a b [G] [E] [L] cmp
   [Q] i
 -----------
     Q
-

Source

+

Source

combo(i, [list(P)|S], S, Ei, Eo) :- append(P, Ei, Eo).
-

Discussion

+

Discussion

This is probably the fundamental combinator. You wind up using it in all kinds of places (for example, the x combinator can be defined as dup i.)


-

id

+

id

Basis Function Combinator

The identity function.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

ifte

+

ifte

Basis Function Combinator

If-Then-Else Combinator :

... [if] [then] [else] ifte
@@ -3004,32 +1492,32 @@ a b [G] [E] [L] cmp
 ... [else] [then] [...] [if] infra first choice i

Has the effect of grabbing a copy of the stack on which to run the if-part using infra.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

ii

+

ii

Basis Function Combinator

... a [Q] ii
 ------------------
  ... Q a Q

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


infra

@@ -3038,62 +1526,62 @@ a b [G] [E] [L] cmp
   ... [a b c] [Q] infra
 ---------------------------
     c b a Q [...] swaack
-

Definition

+

Definition

swons swaack [i] dip swaack
-

Discussion

+

Discussion

This is one of the more useful combinators. It allows a quoted expression to serve as a stack for a program, effectively running it in a kind of “pocket universe”. If the list represents a datastructure then infra lets you work on its internal structure.

- +

swaack


-

infrst

+

infrst

Basis Function Combinator

infra first

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

inscribe

+

inscribe

Basis Function Combinator

Create a new Joy function definition in the Joy dictionary. A definition is given as a quote with a name followed by a Joy expression. for example:

[sqr dup mul] inscribe

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

le

+

le

Basis Function Combinator

Same as a <= b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

loop

+

loop

Basis Function Combinator

Basic loop combinator. :

... True [Q] loop
@@ -3104,198 +1592,186 @@ a b [G] [E] [L] cmp
 ------------------------
    ...

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

lshift

+

lshift

Basis Function Combinator

Same as a << b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

lt

+

lt

Basis Function Combinator

Same as a < b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

make_generator

+

make_generator

Basis Function Combinator

[codireco] ccons

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

map

+

map

Basis Function Combinator

Run the quoted program on TOS on the items in the list under it, push a new list with the results in place of the program and original list.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

max

+

max

Basis Function Combinator

Given a list find the maximum.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

min

+

min

Basis Function Combinator

Given a list find the minimum.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

mod

+

mod

Basis Function Combinator

Same as a % b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

modulus

-

Basis Function Combinator

-

Same as a % b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

modulus

+

See mod.


-

mul

+

mul

Basis Function Combinator

Same as a * b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

ne

+

ne

Basis Function Combinator

Same as a != b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

neg

+

neg

Basis Function Combinator

Same as -a.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

not

+

not

Basis Function Combinator

Same as not a.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

!-

+

!-

“not negative”

(Function, Boolean Predicate)

Integer on top of stack is replaced by Boolean value indicating whether it is non-negative.

@@ -3306,22 +1782,22 @@ a b [G] [E] [L] cmp N !- ---------- N >= 0 true -

Definition

+

Definition

0 >=

-

nulco

+

nulco

Basis Function Combinator

[nullary] cons

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


nullary

@@ -3330,253 +1806,237 @@ a b [G] [E] [L] cmp
   ... [P] nullary
 ---------------------
         ... A
-

Definition

+

Definition

[stack] dip infra first
-

Derivation

+

Derivation

... [P] nullary
 ... [P] [stack] dip infra first
 ... stack [P] infra first
 ... [...] [P] infra first
 ... [A ...] first
 ...  A
-

Discussion

+

Discussion

A very useful function that runs any other quoted function and returns it’s first result without disturbing the stack (under the quoted program.)

- +

unary binary ternary


-

of

+

of

Basis Function Combinator

swap at

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

or

+

or

Basis Function Combinator

Same as a | b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

over

+

over

Basis Function Combinator

(a2 a1 -- a2 a1 a2)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

pam

+

pam

Basis Function Combinator

[i] map

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

pick

-

Basis Function Combinator

-
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.

- -

Lorem ipsum.

+

pick

+

See getitem.


-

pm

+

pm

Basis Function Combinator

Plus or minus :

a b pm
 -------------
 a+b a-b

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

pop

+

pop

Basis Function Combinator

(a1 --)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

popd

+

popd

Basis Function Combinator

(a2 a1 -- a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

popdd

+

popdd

Basis Function Combinator

(a3 a2 a1 -- a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

popop

+

popop

Basis Function Combinator

(a2 a1 --)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

popopd

+

popopd

Basis Function Combinator

(a3 a2 a1 -- a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

popopdd

+

popopdd

Basis Function Combinator

(a4 a3 a2 a1 -- a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

popopop

+

popopop

Basis Function Combinator

pop popop

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

pow

+

pow

Basis Function Combinator

Same as a ** b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

pred

+

pred

Basis Function Combinator

Decrement TOS.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

primrec

+

primrec

Basis Function Combinator

From the "Overview of the language JOY":

> The primrec combinator expects two quoted programs in addition to a data parameter. For an integer data parameter it works like this: If the data parameter is zero, then the first quotation has to produce the value to be returned. If the data parameter is positive then the second has to combine the data parameter with the result of applying the function to its predecessor.:

@@ -3592,308 +2052,260 @@ a+b a-b ------------------------------------------ n > 0 n (n-1) [Base] [Recur] primrec Recur

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

product

+

product

Basis Function Combinator

1 swap [*] step

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

quoted

+

quoted

Basis Function Combinator

[unit] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

range

+

range

Basis Function Combinator

[0 <=] [1 - dup] anamorphism

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

range_to_zero

+

range_to_zero

Basis Function Combinator

unit [down_to_zero] infra

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

reco

+

reco

Basis Function Combinator

rest cons

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

rem

-

Basis Function Combinator

-

Same as a % b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

rem

+

See mod.


-

remainder

-

Basis Function Combinator

-

Same as a % b.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

remainder

+

See mod.


-

remove

+

remove

Basis Function Combinator

Expects an item on the stack and a quote under it and removes that item from the the quote. The item is only removed once. If the list is empty or the item isn't in the list then the list is unchanged. :

[1 2 3 1] 1 remove
 ------------------------
   [2 3 1]

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

rest

+

rest

Basis Function Combinator

([a1 ...0] -- [...0])

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

reverse

+

reverse

Basis Function Combinator

Reverse the list on the top of the stack. :

reverse == [] swap shunt

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

rolldown

+

rolldown

Basis Function Combinator

(a1 a2 a3 -- a2 a3 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

rollup

+

rollup

Basis Function Combinator

(a1 a2 a3 -- a3 a1 a2)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

roll>

-

Basis Function Combinator

-
(a1 a2 a3 -- a3 a1 a2)
-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

roll>

+

See rollup.


-

roll<

-

Basis Function Combinator

-
(a1 a2 a3 -- a2 a3 a1)
-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

roll<

+

See rolldown.


-

round

+

round

Basis Function Combinator

Round a number to a given precision in decimal digits.

The return value is an integer if ndigits is omitted or None. Otherwise the return value has the same type as the number. ndigits may be negative.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

rrest

+

rrest

Basis Function Combinator

([a1 a2 ...1] -- [...1])

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

rshift

+

rshift

Basis Function Combinator

Same as a >> b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

run

+

run

Basis Function Combinator

<{} infra

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

second

+

second

Basis Function Combinator

([a1 a2 ...1] -- a2)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

select

+

select

Basis Function Combinator

Use a Boolean value to select one of two items from a sequence. :

[A B] false select
@@ -3906,48 +2318,48 @@ a+b a-b
B

The sequence can contain more than two items but not fewer. Currently Python semantics are used to evaluate the "truthiness" of the Boolean value (so empty string, zero, etc. are counted as false, etc.)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

sharing

+

sharing

Basis Function Combinator

Print redistribution information.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

shift

+

shift

Basis Function Combinator

uncons [swons] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

shunt

+

shunt

Basis Function Combinator

Like concat but reverses the top list into the second. :

shunt == [swons] step == reverse swap concat
@@ -3956,153 +2368,153 @@ a+b a-b
--------------------------- [f e d a b c]

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

size

+

size

Basis Function Combinator

[pop ++] step_zero

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

sort

+

sort

Basis Function Combinator

Given a list return it sorted.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

spiral_next

+

spiral_next

Basis Function Combinator

[[[abs] ii <=] [[<>] [pop !-] ||] &&] [[!-] [[++]] [[--]] ifte dip] [[pop !-] [--] [++] ifte] ifte

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

split_at

+

split_at

Basis Function Combinator

[drop] [take] clop

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

split_list

+

split_list

Basis Function Combinator

[take reverse] [drop] clop

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

sqr

+

sqr

Basis Function Combinator

dup *

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

sqrt

+

sqrt

Basis Function Combinator

Return the square root of the number a. Negative numbers return complex roots.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

stack

+

stack

Basis Function Combinator

(... -- ... [...])

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

stackd

+

stackd

Basis Function Combinator

[stack] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

step

+

step

Basis Function Combinator

Run a quoted program on each item in a sequence. :

... [] [Q] . step
@@ -4120,214 +2532,214 @@ a+b a-b
... a . Q [b c] [Q] step

The step combinator executes the quotation on each member of the list on top of the stack.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

step_zero

+

step_zero

Basis Function Combinator

0 roll> step

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

stuncons

+

stuncons

Basis Function Combinator

(... a1 -- ... a1 a1 [...])

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

stununcons

+

stununcons

Basis Function Combinator

(... a2 a1 -- ... a2 a1 a1 a2 [...])

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

sub

+

sub

Basis Function Combinator

Same as a - b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

succ

+

succ

Basis Function Combinator

Increment TOS.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

sum

+

sum

Basis Function Combinator

Given a quoted sequence of numbers return the sum. :

sum == 0 swap [+] step

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

swaack

+

swaack

Basis Function Combinator

([...1] -- [...0])

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

swap

+

swap

Basis Function Combinator

(a1 a2 -- a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

swapd

+

swapd

Basis Function Combinator

[swap] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

swoncat

+

swoncat

Basis Function Combinator

swap concat

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

swons

+

swons

Basis Function Combinator

([...1] a1 -- [a1 ...1])

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

tailrec

+

tailrec

Basis Function Combinator

[i] genrec

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

take

+

take

Basis Function Combinator

Expects an integer and a quote on the stack and returns the quote with just the top n items in reverse order (because that's easier and you can use reverse if needed.) :

[a b c d] 2 take
 ----------------------
     [b a]

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


ternary

@@ -4336,29 +2748,29 @@ a+b a-b
   ... z y x [P] unary
 -------------------------
          ... A
-

Definition

+

Definition

binary popd
-

Discussion

+

Discussion

Runs any other quoted function and returns its first result while consuming exactly three items from the stack.

- +

binary nullary unary


-

third

+

third

Basis Function Combinator

([a1 a2 a3 ...1] -- a3)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

times

+

times

Basis Function Combinator

times == [-- dip] cons [swap] infra [0 >] swap while pop :

... n [Q] . times
@@ -4375,46 +2787,33 @@ a+b a-b
------------------------------------- w/ n > 1 ... . Q (n - 1) [Q] times

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

truthy

-

Basis Function Combinator

-

bool(x) -> bool

-

Returns True when the argument x is true, False otherwise. The builtins True and False are the only two instances of the class bool. The class bool is a subclass of the class int, and cannot be subclassed.

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

-

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

truthy

+

See bool.


-

tuck

+

tuck

Basis Function Combinator

(a2 a1 -- a1 a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


unary

@@ -4423,11 +2822,11 @@ a+b a-b
   ... x [P] unary
 ---------------------
        ... A
-

Definition

+

Definition

nullary popd
-

Discussion

+

Discussion

Runs any other quoted function and returns its first result while consuming exactly one item from the stack.

- +

binary nullary ternary


uncons

@@ -4436,131 +2835,131 @@ a+b a-b
   [A ...] uncons
 --------------------
       A [...]
-

Source

+

Source

func(uncons, Si, So) :- func(cons, So, Si).
-

Discussion

+

Discussion

This is the inverse of cons.

- +

cons


-

unique

+

unique

Basis Function Combinator

Given a list remove duplicate items.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

unit

+

unit

Basis Function Combinator

(a1 -- [a1 ])

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

unquoted

+

unquoted

Basis Function Combinator

[i] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

unswons

+

unswons

Basis Function Combinator

([a1 ...1] -- [...1] a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

void

+

void

Basis Function Combinator

True if the form on TOS is void otherwise False.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

warranty

+

warranty

Basis Function Combinator

Print warranty information.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

while

+

while

Basis Function Combinator

swap nulco dupdipd concat loop

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

words

+

words

Basis Function Combinator

Print all the words in alphabetical order.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


x

@@ -4568,39 +2967,39 @@ a+b a-b
   [F] x
 -----------
    [F] F
-

Definition

+

Definition

dup i
-

Discussion

+

Discussion

The x combinator …


-

xor

+

xor

Basis Function Combinator

Same as a ^ b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.


-

zip

+

zip

Basis Function Combinator

Replace the two lists on the top of the stack with a list of the pairs from each list. The smallest list sets the length of the result list.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

-

Discussion

+

Discussion

Lorem ipsum.

- +

Lorem ipsum.

diff --git a/docs/reference/Functor-Reference.md b/docs/reference/Functor-Reference.md index 725348c..9917361 100644 --- a/docs/reference/Functor-Reference.md +++ b/docs/reference/Functor-Reference.md @@ -6,39 +6,16 @@ Version -10.0.0 Each function, combinator, or definition should be documented here. ------------------------------------------------------------------------- +-------------- -# & +## & -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. ------------------------------------------------------------------------ -# && +## && Basis Function Combinator @@ -46,179 +23,64 @@ nulco \[nullary \[false\]\] dip branch Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## * + +See [mul](#mul). + + +-------------- + +## • + +See [id](#id). + + +-------------- + +## ^ + +See [xor](#xor). + + +-------------- + +## = + +See [eq](#eq). + + +-------------- + +## != + +See [ne](#ne). + + ------------------------------------------------------------------------ -# \* - -Basis Function Combinator - -Same as a \* b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# • - -Basis Function Combinator - -The identity function. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# \^ - -Basis Function Combinator - -Same as a \^ b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# = - -Basis Function Combinator - -Same as a == b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# != - -Basis Function Combinator - -Same as a != b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -!-\^\^\^\^ +## !- Basis Function Combinator @@ -226,277 +88,85 @@ Basis Function Combinator Gentzen diagram. -# Definition +### Definition if not basis. -# Derivation +### Derivation if not basis. -# Source +### Source if basis -# Discussion +### Discussion Lorem ipsum. -# Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------- +-------------- -# \> +## > -Basis Function Combinator - -Same as a \> b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# \>= - -Basis Function Combinator - -Same as a \>= b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# \>\> - -Basis Function Combinator - -Same as a \>\> b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. +See [gt](#gt). -# Functor Reference +-------------- -Version -10.0.0 +## >= -Each function, combinator, or definition should be documented here. +See [ge](#ge). + + +-------------- + +## >> + +See [rshift](#rshift). + + +-------------- + +## - + +See [sub](#sub). + + +-------------- + +## -- + +See [pred](#pred). + + +-------------- + +## < + +See [lt](#lt). + + +-------------- + +## <= + +See [le](#le). + + +-------------- + +## <> + +See [ne](#ne). ------------------------------------------------------------------------ --\^\^\^ - -Basis Function Combinator - -Same as a - b. - -Gentzen diagram. - -# Definition - -if not basis. - -# Derivation - -if not basis. - -# Source - -if basis - -# Discussion - -Lorem ipsum. - -# Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -\--\^\^\^\^ - -Basis Function Combinator - -Decrement TOS. - -Gentzen diagram. - -# Definition - -if not basis. - -# Derivation - -if not basis. - -# Source - -if basis - -# Discussion - -Lorem ipsum. - -# Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# \< - -Basis Function Combinator - -Same as a \< b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# \<= - -Basis Function Combinator - -Same as a \<= b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# \<\> - -Basis Function Combinator - -Same as a != b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# \<{} +## \<{} Basis Function Combinator @@ -504,59 +174,36 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## << + +See [lshift](#lshift). + + ------------------------------------------------------------------------ -# \<\< - -Basis Function Combinator - -Same as a \<\< b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# \<\<{} +## \<\<{} Basis Function Combinator @@ -564,119 +211,50 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## % + +See [mod](#mod). + + +-------------- + +## + + +See [add](#add). + + +-------------- + +## ++ + +See [succ](#succ). + + ------------------------------------------------------------------------ -# % - -Basis Function Combinator - -Same as a % b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# + - -Basis Function Combinator - -Same as a + b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# ++ - -Basis Function Combinator - -Increment TOS. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# ? +## ? Basis Function Combinator @@ -684,119 +262,50 @@ dup bool Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## / + +See [floordiv](#floordiv). + + +-------------- + +## // + +See [floordiv](#floordiv). + + +-------------- + +## /floor + +See [floordiv](#floordiv). + + ------------------------------------------------------------------------ -# / - -Basis Function Combinator - -Same as a // b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# // - -Basis Function Combinator - -Same as a // b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# /floor - -Basis Function Combinator - -Same as a // b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# \|\| +## \|\| Basis Function Combinator @@ -804,29 +313,29 @@ nulco \[nullary\] dip \[true\] branch Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# abs +## abs Basis Function Combinator @@ -834,29 +343,29 @@ Return the absolute value of the argument. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# add +## add Basis Function Combinator @@ -864,29 +373,29 @@ Same as a + b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# anamorphism +## anamorphism Basis Function Combinator @@ -894,29 +403,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# and +## and Basis Function Combinator @@ -924,23 +433,23 @@ Same as a & b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -973,7 +482,7 @@ are more useful. ------------------------------------------------------------------------ -# app2 +## app2 Basis Function Combinator @@ -986,29 +495,29 @@ Like app1 with two items. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# app3 +## app3 Basis Function Combinator @@ -1022,29 +531,29 @@ Like app1 with three items. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# appN +## appN Basis Function Combinator @@ -1052,66 +561,36 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## at + +See [getitem](#getitem). + + ------------------------------------------------------------------------ -# at - -Basis Function Combinator - - 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. - ------------------------------------------------------------------------- - -# average +## average Basis Function Combinator @@ -1119,23 +598,23 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -1204,7 +683,7 @@ consuming exactly two items from the stack. ------------------------------------------------------------------------ -# bool +## bool Basis Function Combinator @@ -1216,29 +695,29 @@ bool is a subclass of the class int, and cannot be subclassed. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# branch +## branch Basis Function Combinator @@ -1256,29 +735,29 @@ Use a Boolean value to select one of two quoted programs to run. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# ccccons +## ccccons Basis Function Combinator @@ -1286,23 +765,23 @@ ccons ccons Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -1333,7 +812,7 @@ Does `cons` twice. ------------------------------------------------------------------------ -# choice +## choice Basis Function Combinator @@ -1354,29 +833,29 @@ etc.) Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# clear +## clear Basis Function Combinator @@ -1389,29 +868,29 @@ Clear everything from the stack. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# cleave +## cleave Basis Function Combinator @@ -1419,29 +898,29 @@ fork popdd Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# clop +## clop Basis Function Combinator @@ -1449,29 +928,29 @@ cleave popdd Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# cmp +## cmp Basis Function Combinator @@ -1492,29 +971,29 @@ of the three depending on the results of comparing the two values: : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# codi +## codi Basis Function Combinator @@ -1522,29 +1001,29 @@ cons dip Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# codireco +## codireco Basis Function Combinator @@ -1552,29 +1031,29 @@ codi reco Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# concat +## concat Basis Function Combinator @@ -1586,29 +1065,29 @@ Concatinate the two lists on the top of the stack. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# cond +## cond Basis Function Combinator @@ -1627,23 +1106,23 @@ expressions, e.g.: Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -1677,7 +1156,7 @@ but it will not cons onto a non-list. It's inverse operation is called ------------------------------------------------------------------------ -# dinfrirst +## dinfrirst Basis Function Combinator @@ -1685,29 +1164,29 @@ dip infrst Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# dip +## dip Basis Function Combinator @@ -1721,29 +1200,29 @@ on the rest of the stack. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# dipd +## dipd Basis Function Combinator @@ -1755,29 +1234,29 @@ Like dip but expects two items. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# dipdd +## dipdd Basis Function Combinator @@ -1789,29 +1268,29 @@ Like dip but expects three items. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# disenstacken +## disenstacken Basis Function Combinator @@ -1820,59 +1299,36 @@ that the stack discarding the rest of the stack. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## div + +See [floordiv](#floordiv). + + ------------------------------------------------------------------------ -# div - -Basis Function Combinator - -Same as a // b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# divmod +## divmod Basis Function Combinator @@ -1882,29 +1338,29 @@ Return the tuple (x//y, x%y). Invariant: q \* y + r == x. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# down_to_zero +## down_to_zero Basis Function Combinator @@ -1912,29 +1368,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# drop +## drop Basis Function Combinator @@ -1949,29 +1405,29 @@ items removed off the top. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# dup +## dup Basis Function Combinator @@ -1979,29 +1435,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# dupd +## dupd Basis Function Combinator @@ -2009,29 +1465,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# dupdd +## dupdd Basis Function Combinator @@ -2039,29 +1495,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# dupdip +## dupdip Basis Function Combinator @@ -2074,29 +1530,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# dupdipd +## dupdipd Basis Function Combinator @@ -2104,29 +1560,29 @@ dup dipd Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# enstacken +## enstacken Basis Function Combinator @@ -2134,29 +1590,29 @@ stack \[clear\] dip Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# eq +## eq Basis Function Combinator @@ -2164,29 +1620,29 @@ Same as a == b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# first +## first Basis Function Combinator @@ -2194,29 +1650,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# first_two +## first_two Basis Function Combinator @@ -2224,29 +1680,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# flatten +## flatten Basis Function Combinator @@ -2254,29 +1710,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# floor +## floor Basis Function Combinator @@ -2286,29 +1742,29 @@ This is the largest integer \<= x. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# floordiv +## floordiv Basis Function Combinator @@ -2316,29 +1772,29 @@ Same as a // b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# fork +## fork Basis Function Combinator @@ -2346,29 +1802,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# fourth +## fourth Basis Function Combinator @@ -2376,29 +1832,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# gcd +## gcd Basis Function Combinator @@ -2406,29 +1862,29 @@ true \[tuck mod dup 0 \>\] loop pop Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# gcd2 +## gcd2 Basis Function Combinator @@ -2436,29 +1892,29 @@ Compiled GCD function. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# ge +## ge Basis Function Combinator @@ -2466,29 +1922,29 @@ Same as a \>= b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# genrec +## genrec Basis Function Combinator @@ -2538,29 +1994,29 @@ Primitive recursive functions are those where R2 == i. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# getitem +## getitem Basis Function Combinator @@ -2575,29 +2031,29 @@ nth position in the quote counting from 0. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# grabN +## grabN Basis Function Combinator @@ -2605,29 +2061,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# grba +## grba Basis Function Combinator @@ -2635,29 +2091,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# gt +## gt Basis Function Combinator @@ -2665,29 +2121,29 @@ Same as a \> b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# help +## help Basis Function Combinator @@ -2695,29 +2151,29 @@ Accepts a quoted symbol on the top of the stack and prints its docs. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# hypot +## hypot Basis Function Combinator @@ -2725,23 +2181,23 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -2770,7 +2226,7 @@ kinds of places (for example, the `x` combinator can be defined as `dup i`.) ------------------------------------------------------------------------ -# id +## id Basis Function Combinator @@ -2778,29 +2234,29 @@ The identity function. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# ifte +## ifte Basis Function Combinator @@ -2822,29 +2278,29 @@ if-part using infra. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# ii +## ii Basis Function Combinator @@ -2854,23 +2310,23 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -2906,7 +2362,7 @@ kind of "pocket universe". If the list represents a datastructure then ------------------------------------------------------------------------ -# infrst +## infrst Basis Function Combinator @@ -2914,29 +2370,29 @@ infra first Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# inscribe +## inscribe Basis Function Combinator @@ -2948,29 +2404,29 @@ example: Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# le +## le Basis Function Combinator @@ -2978,29 +2434,29 @@ Same as a \<= b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# loop +## loop Basis Function Combinator @@ -3016,29 +2472,29 @@ Basic loop combinator. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# lshift +## lshift Basis Function Combinator @@ -3046,29 +2502,29 @@ Same as a \<\< b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# lt +## lt Basis Function Combinator @@ -3076,29 +2532,29 @@ Same as a \< b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# make_generator +## make_generator Basis Function Combinator @@ -3106,29 +2562,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# map +## map Basis Function Combinator @@ -3137,29 +2593,29 @@ new list with the results in place of the program and original list. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# max +## max Basis Function Combinator @@ -3167,29 +2623,29 @@ Given a list find the maximum. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# min +## min Basis Function Combinator @@ -3197,29 +2653,29 @@ Given a list find the minimum. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# mod +## mod Basis Function Combinator @@ -3227,59 +2683,36 @@ Same as a % b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## modulus + +See [mod](#mod). + + ------------------------------------------------------------------------ -# modulus - -Basis Function Combinator - -Same as a % b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# mul +## mul Basis Function Combinator @@ -3287,29 +2720,29 @@ Same as a \* b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# ne +## ne Basis Function Combinator @@ -3317,29 +2750,29 @@ Same as a != b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# neg +## neg Basis Function Combinator @@ -3347,29 +2780,29 @@ Same as -a. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# not +## not Basis Function Combinator @@ -3377,23 +2810,23 @@ Same as not a. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -3424,7 +2857,7 @@ it is non-negative. ------------------------------------------------------------------------ -# nulco +## nulco Basis Function Combinator @@ -3432,23 +2865,23 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -3492,7 +2925,7 @@ program.) ------------------------------------------------------------------------ -# of +## of Basis Function Combinator @@ -3500,29 +2933,29 @@ swap at Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# or +## or Basis Function Combinator @@ -3530,29 +2963,29 @@ Same as a \| b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# over +## over Basis Function Combinator @@ -3560,29 +2993,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# pam +## pam Basis Function Combinator @@ -3590,66 +3023,36 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## pick + +See [getitem](#getitem). + + ------------------------------------------------------------------------ -# pick - -Basis Function Combinator - - 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. - ------------------------------------------------------------------------- - -# pm +## pm Basis Function Combinator @@ -3661,29 +3064,29 @@ Plus or minus : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# pop +## pop Basis Function Combinator @@ -3691,29 +3094,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# popd +## popd Basis Function Combinator @@ -3721,29 +3124,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# popdd +## popdd Basis Function Combinator @@ -3751,29 +3154,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# popop +## popop Basis Function Combinator @@ -3781,29 +3184,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# popopd +## popopd Basis Function Combinator @@ -3811,29 +3214,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# popopdd +## popopdd Basis Function Combinator @@ -3841,29 +3244,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# popopop +## popopop Basis Function Combinator @@ -3871,29 +3274,29 @@ pop popop Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# pow +## pow Basis Function Combinator @@ -3901,29 +3304,29 @@ Same as a \*\* b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# pred +## pred Basis Function Combinator @@ -3931,29 +3334,29 @@ Decrement TOS. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# primrec +## primrec Basis Function Combinator @@ -3988,29 +3391,29 @@ element on the stack.: Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# product +## product Basis Function Combinator @@ -4018,29 +3421,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# quoted +## quoted Basis Function Combinator @@ -4048,29 +3451,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# range +## range Basis Function Combinator @@ -4078,29 +3481,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# range_to_zero +## range_to_zero Basis Function Combinator @@ -4108,29 +3511,29 @@ unit \[down_to_zero\] infra Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# reco +## reco Basis Function Combinator @@ -4138,89 +3541,43 @@ rest cons Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## rem + +See [mod](#mod). + + +-------------- + +## remainder + +See [mod](#mod). + + ------------------------------------------------------------------------ -# rem - -Basis Function Combinator - -Same as a % b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# remainder - -Basis Function Combinator - -Same as a % b. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# remove +## remove Basis Function Combinator @@ -4234,29 +3591,29 @@ or the item isn\'t in the list then the list is unchanged. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# rest +## rest Basis Function Combinator @@ -4264,29 +3621,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# reverse +## reverse Basis Function Combinator @@ -4296,29 +3653,29 @@ Reverse the list on the top of the stack. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# rolldown +## rolldown Basis Function Combinator @@ -4326,29 +3683,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# rollup +## rollup Basis Function Combinator @@ -4356,89 +3713,43 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## roll> + +See [rollup](#rollup). + + +-------------- + +## roll< + +See [rolldown](#rolldown). + + ------------------------------------------------------------------------ -# roll> - -Basis Function Combinator - - (a1 a2 a3 -- a3 a1 a2) - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# roll\< - -Basis Function Combinator - - (a1 a2 a3 -- a2 a3 a1) - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# round +## round Basis Function Combinator @@ -4450,29 +3761,29 @@ negative. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# rrest +## rrest Basis Function Combinator @@ -4480,29 +3791,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# rshift +## rshift Basis Function Combinator @@ -4510,29 +3821,29 @@ Same as a \>\> b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# run +## run Basis Function Combinator @@ -4540,29 +3851,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# second +## second Basis Function Combinator @@ -4570,29 +3881,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# select +## select Basis Function Combinator @@ -4613,29 +3924,29 @@ value (so empty string, zero, etc. are counted as false, etc.) Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# sharing +## sharing Basis Function Combinator @@ -4643,29 +3954,29 @@ Print redistribution information. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# shift +## shift Basis Function Combinator @@ -4673,29 +3984,29 @@ uncons \[swons\] dip Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# shunt +## shunt Basis Function Combinator @@ -4709,29 +4020,29 @@ Like concat but reverses the top list into the second. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# size +## size Basis Function Combinator @@ -4739,29 +4050,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# sort +## sort Basis Function Combinator @@ -4769,29 +4080,29 @@ Given a list return it sorted. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# spiral_next +## spiral_next Basis Function Combinator @@ -4801,29 +4112,29 @@ ifte Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# split_at +## split_at Basis Function Combinator @@ -4831,29 +4142,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# split_list +## split_list Basis Function Combinator @@ -4861,29 +4172,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# sqr +## sqr Basis Function Combinator @@ -4891,29 +4202,29 @@ dup \* Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# sqrt +## sqrt Basis Function Combinator @@ -4922,29 +4233,29 @@ roots. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# stack +## stack Basis Function Combinator @@ -4952,29 +4263,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# stackd +## stackd Basis Function Combinator @@ -4982,29 +4293,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# step +## step Basis Function Combinator @@ -5029,29 +4340,29 @@ top of the stack. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# step_zero +## step_zero Basis Function Combinator @@ -5059,29 +4370,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# stuncons +## stuncons Basis Function Combinator @@ -5089,29 +4400,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# stununcons +## stununcons Basis Function Combinator @@ -5119,29 +4430,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# sub +## sub Basis Function Combinator @@ -5149,29 +4460,29 @@ Same as a - b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# succ +## succ Basis Function Combinator @@ -5179,29 +4490,29 @@ Increment TOS. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# sum +## sum Basis Function Combinator @@ -5211,29 +4522,29 @@ Given a quoted sequence of numbers return the sum. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# swaack +## swaack Basis Function Combinator @@ -5241,29 +4552,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# swap +## swap Basis Function Combinator @@ -5271,29 +4582,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# swapd +## swapd Basis Function Combinator @@ -5301,29 +4612,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# swoncat +## swoncat Basis Function Combinator @@ -5331,29 +4642,29 @@ swap concat Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# swons +## swons Basis Function Combinator @@ -5361,29 +4672,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# tailrec +## tailrec Basis Function Combinator @@ -5391,29 +4702,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# take +## take Basis Function Combinator @@ -5427,23 +4738,23 @@ can use reverse if needed.) : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -5479,7 +4790,7 @@ consuming exactly three items from the stack. ------------------------------------------------------------------------ -# third +## third Basis Function Combinator @@ -5487,29 +4798,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# times +## times Basis Function Combinator @@ -5531,63 +4842,36 @@ times == \[\-- dip\] cons \[swap\] infra \[0 \>\] swap while pop : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. +-------------- + +## truthy + +See [bool](#bool). + + ------------------------------------------------------------------------ -# truthy - -Basis Function Combinator - -bool(x) -\> bool - -Returns True when the argument x is true, False otherwise. The builtins -True and False are the only two instances of the class bool. The class -bool is a subclass of the class int, and cannot be subclassed. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. - ------------------------------------------------------------------------- - -# tuck +## tuck Basis Function Combinator @@ -5595,23 +4879,23 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -5671,7 +4955,7 @@ This is the inverse of `cons`. ------------------------------------------------------------------------ -# unique +## unique Basis Function Combinator @@ -5679,29 +4963,29 @@ Given a list remove duplicate items. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# unit +## unit Basis Function Combinator @@ -5709,29 +4993,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# unquoted +## unquoted Basis Function Combinator @@ -5739,29 +5023,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# unswons +## unswons Basis Function Combinator @@ -5769,29 +5053,29 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# void +## void Basis Function Combinator @@ -5799,29 +5083,29 @@ True if the form on TOS is void otherwise False. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# warranty +## warranty Basis Function Combinator @@ -5829,29 +5113,29 @@ Print warranty information. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# while +## while Basis Function Combinator @@ -5859,29 +5143,29 @@ swap nulco dupdipd concat loop Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# words +## words Basis Function Combinator @@ -5889,23 +5173,23 @@ Print all the words in alphabetical order. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. @@ -5930,7 +5214,7 @@ The `x` combinator ... ------------------------------------------------------------------------ -# xor +## xor Basis Function Combinator @@ -5938,29 +5222,29 @@ Same as a \^ b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. ------------------------------------------------------------------------ -# zip +## zip Basis Function Combinator @@ -5969,22 +5253,22 @@ from each list. The smallest list sets the length of the result list. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/GREATER-THAN-SIGN.md b/docs/reference/GREATER-THAN-SIGN.md index aca5d9e..650fec0 100644 --- a/docs/reference/GREATER-THAN-SIGN.md +++ b/docs/reference/GREATER-THAN-SIGN.md @@ -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. diff --git a/docs/reference/GREATER-THAN-SIGN•EQUALS-SIGN.md b/docs/reference/GREATER-THAN-SIGN•EQUALS-SIGN.md index 1496c00..f8d58f3 100644 --- a/docs/reference/GREATER-THAN-SIGN•EQUALS-SIGN.md +++ b/docs/reference/GREATER-THAN-SIGN•EQUALS-SIGN.md @@ -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. diff --git a/docs/reference/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md b/docs/reference/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md index 117ecf4..b227eb5 100644 --- a/docs/reference/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md +++ b/docs/reference/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md @@ -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. diff --git a/docs/reference/HYPHEN-MINUS.md b/docs/reference/HYPHEN-MINUS.md index 4611ffa..6d49262 100644 --- a/docs/reference/HYPHEN-MINUS.md +++ b/docs/reference/HYPHEN-MINUS.md @@ -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. diff --git a/docs/reference/HYPHEN-MINUS•HYPHEN-MINUS.md b/docs/reference/HYPHEN-MINUS•HYPHEN-MINUS.md index e4e4ecb..1ffd9a5 100644 --- a/docs/reference/HYPHEN-MINUS•HYPHEN-MINUS.md +++ b/docs/reference/HYPHEN-MINUS•HYPHEN-MINUS.md @@ -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. diff --git a/docs/reference/LESS-THAN-SIGN.md b/docs/reference/LESS-THAN-SIGN.md index ad75f76..613c002 100644 --- a/docs/reference/LESS-THAN-SIGN.md +++ b/docs/reference/LESS-THAN-SIGN.md @@ -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. diff --git a/docs/reference/LESS-THAN-SIGN•EQUALS-SIGN.md b/docs/reference/LESS-THAN-SIGN•EQUALS-SIGN.md index 2ad9503..c4f47d7 100644 --- a/docs/reference/LESS-THAN-SIGN•EQUALS-SIGN.md +++ b/docs/reference/LESS-THAN-SIGN•EQUALS-SIGN.md @@ -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. diff --git a/docs/reference/LESS-THAN-SIGN•GREATER-THAN-SIGN.md b/docs/reference/LESS-THAN-SIGN•GREATER-THAN-SIGN.md index a3bcba9..b5e0d0b 100644 --- a/docs/reference/LESS-THAN-SIGN•GREATER-THAN-SIGN.md +++ b/docs/reference/LESS-THAN-SIGN•GREATER-THAN-SIGN.md @@ -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. diff --git a/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md b/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md index 7d2e3fc..eb4ae86 100644 --- a/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md +++ b/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# \<{} +## \<{} Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN.md b/docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN.md index 595035e..a056ee4 100644 --- a/docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN.md +++ b/docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN.md @@ -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. diff --git a/docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md b/docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md index a9d3033..6d887fc 100644 --- a/docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md +++ b/docs/reference/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# \<\<{} +## \<\<{} Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/Makefile b/docs/reference/Makefile index 21038f6..513d881 100644 --- a/docs/reference/Makefile +++ b/docs/reference/Makefile @@ -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)) diff --git a/docs/reference/PERCENT-SIGN.md b/docs/reference/PERCENT-SIGN.md index be18183..16ff80b 100644 --- a/docs/reference/PERCENT-SIGN.md +++ b/docs/reference/PERCENT-SIGN.md @@ -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. diff --git a/docs/reference/PLUS-SIGN.md b/docs/reference/PLUS-SIGN.md index 0dcde19..632c563 100644 --- a/docs/reference/PLUS-SIGN.md +++ b/docs/reference/PLUS-SIGN.md @@ -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. diff --git a/docs/reference/PLUS-SIGN•PLUS-SIGN.md b/docs/reference/PLUS-SIGN•PLUS-SIGN.md index 1cead59..da355cc 100644 --- a/docs/reference/PLUS-SIGN•PLUS-SIGN.md +++ b/docs/reference/PLUS-SIGN•PLUS-SIGN.md @@ -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. diff --git a/docs/reference/QUESTION-MARK.md b/docs/reference/QUESTION-MARK.md index 76fee40..d132f07 100644 --- a/docs/reference/QUESTION-MARK.md +++ b/docs/reference/QUESTION-MARK.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# ? +## ? Basis Function Combinator @@ -8,22 +8,22 @@ dup bool Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/SOLIDUS.md b/docs/reference/SOLIDUS.md index 8f7a4ed..6186200 100644 --- a/docs/reference/SOLIDUS.md +++ b/docs/reference/SOLIDUS.md @@ -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. diff --git a/docs/reference/SOLIDUS•SOLIDUS.md b/docs/reference/SOLIDUS•SOLIDUS.md index 07aba25..7e61385 100644 --- a/docs/reference/SOLIDUS•SOLIDUS.md +++ b/docs/reference/SOLIDUS•SOLIDUS.md @@ -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. diff --git a/docs/reference/SOLIDUS•floor.md b/docs/reference/SOLIDUS•floor.md index 298f403..692b59f 100644 --- a/docs/reference/SOLIDUS•floor.md +++ b/docs/reference/SOLIDUS•floor.md @@ -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. diff --git a/docs/reference/VERTICAL-LINE•VERTICAL-LINE.md b/docs/reference/VERTICAL-LINE•VERTICAL-LINE.md index 6e809fb..5adb253 100644 --- a/docs/reference/VERTICAL-LINE•VERTICAL-LINE.md +++ b/docs/reference/VERTICAL-LINE•VERTICAL-LINE.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# \|\| +## \|\| Basis Function Combinator @@ -8,22 +8,22 @@ nulco \[nullary\] dip \[true\] branch Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/abs.md b/docs/reference/abs.md index 283f93a..48ae162 100644 --- a/docs/reference/abs.md +++ b/docs/reference/abs.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# abs +## abs Basis Function Combinator @@ -8,22 +8,22 @@ Return the absolute value of the argument. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/add.md b/docs/reference/add.md index 9ad35b4..beeb282 100644 --- a/docs/reference/add.md +++ b/docs/reference/add.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# add +## add Basis Function Combinator @@ -8,22 +8,22 @@ Same as a + b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/anamorphism.md b/docs/reference/anamorphism.md index 9c5c7d7..d873b3c 100644 --- a/docs/reference/anamorphism.md +++ b/docs/reference/anamorphism.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# anamorphism +## anamorphism Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/and.md b/docs/reference/and.md index 50e41e5..551bd71 100644 --- a/docs/reference/and.md +++ b/docs/reference/and.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# and +## and Basis Function Combinator @@ -8,22 +8,22 @@ Same as a & b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/app2.md b/docs/reference/app2.md index c8f8b68..5a170c7 100644 --- a/docs/reference/app2.md +++ b/docs/reference/app2.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# app2 +## app2 Basis Function Combinator @@ -13,22 +13,22 @@ Like app1 with two items. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/app3.md b/docs/reference/app3.md index 4ac7bea..feb01d7 100644 --- a/docs/reference/app3.md +++ b/docs/reference/app3.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# app3 +## app3 Basis Function Combinator @@ -14,22 +14,22 @@ Like app1 with three items. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/appN.md b/docs/reference/appN.md index 85f95db..8c3a5eb 100644 --- a/docs/reference/appN.md +++ b/docs/reference/appN.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# appN +## appN Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/at.md b/docs/reference/at.md index 62edc3d..c4e1c77 100644 --- a/docs/reference/at.md +++ b/docs/reference/at.md @@ -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. diff --git a/docs/reference/average.md b/docs/reference/average.md index c696fa9..5877e83 100644 --- a/docs/reference/average.md +++ b/docs/reference/average.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# average +## average Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/bool.md b/docs/reference/bool.md index c4ba47a..55a3288 100644 --- a/docs/reference/bool.md +++ b/docs/reference/bool.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# bool +## bool Basis Function Combinator @@ -12,22 +12,22 @@ bool is a subclass of the class int, and cannot be subclassed. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/branch.md b/docs/reference/branch.md index 9b0888a..7fe9e83 100644 --- a/docs/reference/branch.md +++ b/docs/reference/branch.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# branch +## branch Basis Function Combinator @@ -18,22 +18,22 @@ Use a Boolean value to select one of two quoted programs to run. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/ccccons.md b/docs/reference/ccccons.md index 5e97f91..1196090 100644 --- a/docs/reference/ccccons.md +++ b/docs/reference/ccccons.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# ccccons +## ccccons Basis Function Combinator @@ -8,22 +8,22 @@ ccons ccons Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/choice.md b/docs/reference/choice.md index 9ec19cc..6110001 100644 --- a/docs/reference/choice.md +++ b/docs/reference/choice.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# choice +## choice Basis Function Combinator @@ -21,22 +21,22 @@ etc.) Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/clear.md b/docs/reference/clear.md index e03d787..e2a0720 100644 --- a/docs/reference/clear.md +++ b/docs/reference/clear.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# clear +## clear Basis Function Combinator @@ -13,22 +13,22 @@ Clear everything from the stack. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/cleave.md b/docs/reference/cleave.md index 632ecc1..91169dd 100644 --- a/docs/reference/cleave.md +++ b/docs/reference/cleave.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# cleave +## cleave Basis Function Combinator @@ -8,22 +8,22 @@ fork popdd Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/clop.md b/docs/reference/clop.md index 03b05c7..6963bbb 100644 --- a/docs/reference/clop.md +++ b/docs/reference/clop.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# clop +## clop Basis Function Combinator @@ -8,22 +8,22 @@ cleave popdd Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/cmp.md b/docs/reference/cmp.md index c15a0f6..650ecbe 100644 --- a/docs/reference/cmp.md +++ b/docs/reference/cmp.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# cmp +## cmp Basis Function Combinator @@ -21,22 +21,22 @@ of the three depending on the results of comparing the two values: : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/codi.md b/docs/reference/codi.md index 86637b3..b1f0c13 100644 --- a/docs/reference/codi.md +++ b/docs/reference/codi.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# codi +## codi Basis Function Combinator @@ -8,22 +8,22 @@ cons dip Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/codireco.md b/docs/reference/codireco.md index 26b90ec..9551e34 100644 --- a/docs/reference/codireco.md +++ b/docs/reference/codireco.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# codireco +## codireco Basis Function Combinator @@ -8,22 +8,22 @@ codi reco Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/concat.md b/docs/reference/concat.md index 8c9b8a9..e59e6b1 100644 --- a/docs/reference/concat.md +++ b/docs/reference/concat.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# concat +## concat Basis Function Combinator @@ -12,22 +12,22 @@ Concatinate the two lists on the top of the stack. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/cond.md b/docs/reference/cond.md index c36450a..47f77fc 100644 --- a/docs/reference/cond.md +++ b/docs/reference/cond.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# cond +## cond Basis Function Combinator @@ -19,22 +19,22 @@ expressions, e.g.: Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/dinfrirst.md b/docs/reference/dinfrirst.md index 3e14f9d..0139037 100644 --- a/docs/reference/dinfrirst.md +++ b/docs/reference/dinfrirst.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# dinfrirst +## dinfrirst Basis Function Combinator @@ -8,22 +8,22 @@ dip infrst Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/dip.md b/docs/reference/dip.md index 1e67bcb..28fb88a 100644 --- a/docs/reference/dip.md +++ b/docs/reference/dip.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# dip +## dip Basis Function Combinator @@ -14,22 +14,22 @@ on the rest of the stack. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/dipd.md b/docs/reference/dipd.md index 6ac590f..72f2973 100644 --- a/docs/reference/dipd.md +++ b/docs/reference/dipd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# dipd +## dipd Basis Function Combinator @@ -12,22 +12,22 @@ Like dip but expects two items. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/dipdd.md b/docs/reference/dipdd.md index ff18143..de355b8 100644 --- a/docs/reference/dipdd.md +++ b/docs/reference/dipdd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# dipdd +## dipdd Basis Function Combinator @@ -12,22 +12,22 @@ Like dip but expects three items. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/disenstacken.md b/docs/reference/disenstacken.md index 26ef6f7..8a188e2 100644 --- a/docs/reference/disenstacken.md +++ b/docs/reference/disenstacken.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# disenstacken +## disenstacken Basis Function Combinator @@ -9,22 +9,22 @@ that the stack discarding the rest of the stack. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/div.md b/docs/reference/div.md index 6b17e08..754fc7d 100644 --- a/docs/reference/div.md +++ b/docs/reference/div.md @@ -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. diff --git a/docs/reference/divmod.md b/docs/reference/divmod.md index 302a632..6e8a6da 100644 --- a/docs/reference/divmod.md +++ b/docs/reference/divmod.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# divmod +## divmod Basis Function Combinator @@ -10,22 +10,22 @@ Return the tuple (x//y, x%y). Invariant: q \* y + r == x. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/down_to_zero.md b/docs/reference/down_to_zero.md index fc39245..cda1d4c 100644 --- a/docs/reference/down_to_zero.md +++ b/docs/reference/down_to_zero.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# down_to_zero +## down_to_zero Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/drop.md b/docs/reference/drop.md index 52669af..f085d2b 100644 --- a/docs/reference/drop.md +++ b/docs/reference/drop.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# drop +## drop Basis Function Combinator @@ -15,22 +15,22 @@ items removed off the top. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/dup.md b/docs/reference/dup.md index 77f2025..8d34e93 100644 --- a/docs/reference/dup.md +++ b/docs/reference/dup.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# dup +## dup Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/dupd.md b/docs/reference/dupd.md index b192108..4190c23 100644 --- a/docs/reference/dupd.md +++ b/docs/reference/dupd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# dupd +## dupd Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/dupdd.md b/docs/reference/dupdd.md index edae234..ad3d58a 100644 --- a/docs/reference/dupdd.md +++ b/docs/reference/dupdd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# dupdd +## dupdd Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/dupdip.md b/docs/reference/dupdip.md index a281ff7..131b568 100644 --- a/docs/reference/dupdip.md +++ b/docs/reference/dupdip.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# dupdip +## dupdip Basis Function Combinator @@ -13,22 +13,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/dupdipd.md b/docs/reference/dupdipd.md index 7246a1c..30aa73d 100644 --- a/docs/reference/dupdipd.md +++ b/docs/reference/dupdipd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# dupdipd +## dupdipd Basis Function Combinator @@ -8,22 +8,22 @@ dup dipd Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/enstacken.md b/docs/reference/enstacken.md index d2bfa87..d742c92 100644 --- a/docs/reference/enstacken.md +++ b/docs/reference/enstacken.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# enstacken +## enstacken Basis Function Combinator @@ -8,22 +8,22 @@ stack \[clear\] dip Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/eq.md b/docs/reference/eq.md index a13a6b7..47a084f 100644 --- a/docs/reference/eq.md +++ b/docs/reference/eq.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# eq +## eq Basis Function Combinator @@ -8,22 +8,22 @@ Same as a == b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/first.md b/docs/reference/first.md index 29e2419..1f3cfd7 100644 --- a/docs/reference/first.md +++ b/docs/reference/first.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# first +## first Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/first_two.md b/docs/reference/first_two.md index 47e4604..b344485 100644 --- a/docs/reference/first_two.md +++ b/docs/reference/first_two.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# first_two +## first_two Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/flatten.md b/docs/reference/flatten.md index 3fec06e..972d4a0 100644 --- a/docs/reference/flatten.md +++ b/docs/reference/flatten.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# flatten +## flatten Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/floor.md b/docs/reference/floor.md index af01826..ad43575 100644 --- a/docs/reference/floor.md +++ b/docs/reference/floor.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# floor +## floor Basis Function Combinator @@ -10,22 +10,22 @@ This is the largest integer \<= x. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/floordiv.md b/docs/reference/floordiv.md index 11e8521..31a973b 100644 --- a/docs/reference/floordiv.md +++ b/docs/reference/floordiv.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# floordiv +## floordiv Basis Function Combinator @@ -8,22 +8,22 @@ Same as a // b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/fork.md b/docs/reference/fork.md index 01ff9c4..109aa77 100644 --- a/docs/reference/fork.md +++ b/docs/reference/fork.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# fork +## fork Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/fourth.md b/docs/reference/fourth.md index 97c45e7..2ef7284 100644 --- a/docs/reference/fourth.md +++ b/docs/reference/fourth.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# fourth +## fourth Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/gcd.md b/docs/reference/gcd.md index a1c2d63..b9f812a 100644 --- a/docs/reference/gcd.md +++ b/docs/reference/gcd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# gcd +## gcd Basis Function Combinator @@ -8,22 +8,22 @@ true \[tuck mod dup 0 \>\] loop pop Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/gcd2.md b/docs/reference/gcd2.md index 02080e6..c640544 100644 --- a/docs/reference/gcd2.md +++ b/docs/reference/gcd2.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# gcd2 +## gcd2 Basis Function Combinator @@ -8,22 +8,22 @@ Compiled GCD function. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/ge.md b/docs/reference/ge.md index 87bc829..7c26c7a 100644 --- a/docs/reference/ge.md +++ b/docs/reference/ge.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# ge +## ge Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \>= b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/genrec.md b/docs/reference/genrec.md index 251dc54..917fffd 100644 --- a/docs/reference/genrec.md +++ b/docs/reference/genrec.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# genrec +## genrec Basis Function Combinator @@ -50,22 +50,22 @@ Primitive recursive functions are those where R2 == i. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/getitem.md b/docs/reference/getitem.md index 08a504d..446dd9f 100644 --- a/docs/reference/getitem.md +++ b/docs/reference/getitem.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# getitem +## getitem Basis Function Combinator @@ -15,22 +15,22 @@ nth position in the quote counting from 0. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/grabN.md b/docs/reference/grabN.md index 3a5a5fe..be3b6d6 100644 --- a/docs/reference/grabN.md +++ b/docs/reference/grabN.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# grabN +## grabN Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/grba.md b/docs/reference/grba.md index 69a7e04..29cd101 100644 --- a/docs/reference/grba.md +++ b/docs/reference/grba.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# grba +## grba Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/gt.md b/docs/reference/gt.md index d9f778b..2bb4ed9 100644 --- a/docs/reference/gt.md +++ b/docs/reference/gt.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# gt +## gt Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \> b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/help.md b/docs/reference/help.md index ce9ac60..bacc176 100644 --- a/docs/reference/help.md +++ b/docs/reference/help.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# help +## help Basis Function Combinator @@ -8,22 +8,22 @@ Accepts a quoted symbol on the top of the stack and prints its docs. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/hypot.md b/docs/reference/hypot.md index 8635dfc..903d06f 100644 --- a/docs/reference/hypot.md +++ b/docs/reference/hypot.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# hypot +## hypot Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/id.md b/docs/reference/id.md index 085e0a6..7b8e153 100644 --- a/docs/reference/id.md +++ b/docs/reference/id.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# id +## id Basis Function Combinator @@ -8,22 +8,22 @@ The identity function. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/ifte.md b/docs/reference/ifte.md index 00548fd..d60c09e 100644 --- a/docs/reference/ifte.md +++ b/docs/reference/ifte.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# ifte +## ifte Basis Function Combinator @@ -22,22 +22,22 @@ if-part using infra. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/ii.md b/docs/reference/ii.md index 5921236..ac3372a 100644 --- a/docs/reference/ii.md +++ b/docs/reference/ii.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# ii +## ii Basis Function Combinator @@ -10,22 +10,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/infrst.md b/docs/reference/infrst.md index b091159..486e0d3 100644 --- a/docs/reference/infrst.md +++ b/docs/reference/infrst.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# infrst +## infrst Basis Function Combinator @@ -8,22 +8,22 @@ infra first Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/inscribe.md b/docs/reference/inscribe.md index dbc9bb8..caaef7c 100644 --- a/docs/reference/inscribe.md +++ b/docs/reference/inscribe.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# inscribe +## inscribe Basis Function Combinator @@ -12,22 +12,22 @@ example: Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/le.md b/docs/reference/le.md index 4e09955..9b9d5a5 100644 --- a/docs/reference/le.md +++ b/docs/reference/le.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# le +## le Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \<= b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/loop.md b/docs/reference/loop.md index efa212b..fa661fa 100644 --- a/docs/reference/loop.md +++ b/docs/reference/loop.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# loop +## loop Basis Function Combinator @@ -16,22 +16,22 @@ Basic loop combinator. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/lshift.md b/docs/reference/lshift.md index 9ed89be..9ad7bc6 100644 --- a/docs/reference/lshift.md +++ b/docs/reference/lshift.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# lshift +## lshift Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \<\< b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/lt.md b/docs/reference/lt.md index 196e1f8..03bbe3b 100644 --- a/docs/reference/lt.md +++ b/docs/reference/lt.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# lt +## lt Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \< b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/make_generator.md b/docs/reference/make_generator.md index 12bee0e..c260071 100644 --- a/docs/reference/make_generator.md +++ b/docs/reference/make_generator.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# make_generator +## make_generator Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/map.md b/docs/reference/map.md index 9e951bc..2801c21 100644 --- a/docs/reference/map.md +++ b/docs/reference/map.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# map +## map Basis Function Combinator @@ -9,22 +9,22 @@ new list with the results in place of the program and original list. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/max.md b/docs/reference/max.md index c80177c..58672c7 100644 --- a/docs/reference/max.md +++ b/docs/reference/max.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# max +## max Basis Function Combinator @@ -8,22 +8,22 @@ Given a list find the maximum. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/min.md b/docs/reference/min.md index ee89455..1fafc40 100644 --- a/docs/reference/min.md +++ b/docs/reference/min.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# min +## min Basis Function Combinator @@ -8,22 +8,22 @@ Given a list find the minimum. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/mod.md b/docs/reference/mod.md index 7630571..687044c 100644 --- a/docs/reference/mod.md +++ b/docs/reference/mod.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# mod +## mod Basis Function Combinator @@ -8,22 +8,22 @@ Same as a % b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/modulus.md b/docs/reference/modulus.md index 39773fa..61d3813 100644 --- a/docs/reference/modulus.md +++ b/docs/reference/modulus.md @@ -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. diff --git a/docs/reference/mul.md b/docs/reference/mul.md index e494646..3e579c7 100644 --- a/docs/reference/mul.md +++ b/docs/reference/mul.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# mul +## mul Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \* b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/ne.md b/docs/reference/ne.md index a2dc5d3..52d0a27 100644 --- a/docs/reference/ne.md +++ b/docs/reference/ne.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# ne +## ne Basis Function Combinator @@ -8,22 +8,22 @@ Same as a != b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/neg.md b/docs/reference/neg.md index fa4e7ce..b1721e8 100644 --- a/docs/reference/neg.md +++ b/docs/reference/neg.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# neg +## neg Basis Function Combinator @@ -8,22 +8,22 @@ Same as -a. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/not.md b/docs/reference/not.md index d628058..bfd2a43 100644 --- a/docs/reference/not.md +++ b/docs/reference/not.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# not +## not Basis Function Combinator @@ -8,22 +8,22 @@ Same as not a. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/nulco.md b/docs/reference/nulco.md index c54e71b..5b5f12e 100644 --- a/docs/reference/nulco.md +++ b/docs/reference/nulco.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# nulco +## nulco Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/of.md b/docs/reference/of.md index 7fa80d9..e433f4d 100644 --- a/docs/reference/of.md +++ b/docs/reference/of.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# of +## of Basis Function Combinator @@ -8,22 +8,22 @@ swap at Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/or.md b/docs/reference/or.md index dc2b1a1..1e59bcf 100644 --- a/docs/reference/or.md +++ b/docs/reference/or.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# or +## or Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \| b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/over.md b/docs/reference/over.md index c2e49ec..30e3d31 100644 --- a/docs/reference/over.md +++ b/docs/reference/over.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# over +## over Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/pam.md b/docs/reference/pam.md index d02292c..a763007 100644 --- a/docs/reference/pam.md +++ b/docs/reference/pam.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# pam +## pam Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/pick.md b/docs/reference/pick.md index 8c27e1c..3d861d8 100644 --- a/docs/reference/pick.md +++ b/docs/reference/pick.md @@ -1,36 +1,6 @@ ------------------------------------------------------------------------- +-------------- -# pick +## pick -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. diff --git a/docs/reference/pm.md b/docs/reference/pm.md index 6534d7e..a00dc94 100644 --- a/docs/reference/pm.md +++ b/docs/reference/pm.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# pm +## pm Basis Function Combinator @@ -12,22 +12,22 @@ Plus or minus : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/pop.md b/docs/reference/pop.md index dcb6cbc..48da3ea 100644 --- a/docs/reference/pop.md +++ b/docs/reference/pop.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# pop +## pop Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/popd.md b/docs/reference/popd.md index eaacad4..1016b57 100644 --- a/docs/reference/popd.md +++ b/docs/reference/popd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# popd +## popd Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/popdd.md b/docs/reference/popdd.md index 1d78b67..6e9504b 100644 --- a/docs/reference/popdd.md +++ b/docs/reference/popdd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# popdd +## popdd Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/popop.md b/docs/reference/popop.md index 0029d33..8b6c10c 100644 --- a/docs/reference/popop.md +++ b/docs/reference/popop.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# popop +## popop Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/popopd.md b/docs/reference/popopd.md index 8db9175..8b6e4af 100644 --- a/docs/reference/popopd.md +++ b/docs/reference/popopd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# popopd +## popopd Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/popopdd.md b/docs/reference/popopdd.md index 0ce33c1..3122141 100644 --- a/docs/reference/popopdd.md +++ b/docs/reference/popopdd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# popopdd +## popopdd Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/popopop.md b/docs/reference/popopop.md index 71e653d..f19d92c 100644 --- a/docs/reference/popopop.md +++ b/docs/reference/popopop.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# popopop +## popopop Basis Function Combinator @@ -8,22 +8,22 @@ pop popop Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/pow.md b/docs/reference/pow.md index ce76319..a12647f 100644 --- a/docs/reference/pow.md +++ b/docs/reference/pow.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# pow +## pow Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \*\* b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/pred.md b/docs/reference/pred.md index 18e643b..7e2760e 100644 --- a/docs/reference/pred.md +++ b/docs/reference/pred.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# pred +## pred Basis Function Combinator @@ -8,22 +8,22 @@ Decrement TOS. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/primrec.md b/docs/reference/primrec.md index b7490ad..bbafc14 100644 --- a/docs/reference/primrec.md +++ b/docs/reference/primrec.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# primrec +## primrec Basis Function Combinator @@ -35,22 +35,22 @@ element on the stack.: Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/product.md b/docs/reference/product.md index 38b3500..8585f6e 100644 --- a/docs/reference/product.md +++ b/docs/reference/product.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# product +## product Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/quoted.md b/docs/reference/quoted.md index 7bb8aef..0dcf523 100644 --- a/docs/reference/quoted.md +++ b/docs/reference/quoted.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# quoted +## quoted Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/range.md b/docs/reference/range.md index 327d860..da6400d 100644 --- a/docs/reference/range.md +++ b/docs/reference/range.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# range +## range Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/range_to_zero.md b/docs/reference/range_to_zero.md index 25e2e48..af4e0d9 100644 --- a/docs/reference/range_to_zero.md +++ b/docs/reference/range_to_zero.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# range_to_zero +## range_to_zero Basis Function Combinator @@ -8,22 +8,22 @@ unit \[down_to_zero\] infra Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/reco.md b/docs/reference/reco.md index 5051e21..b1d949f 100644 --- a/docs/reference/reco.md +++ b/docs/reference/reco.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# reco +## reco Basis Function Combinator @@ -8,22 +8,22 @@ rest cons Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/rem.md b/docs/reference/rem.md index e70ebc0..02070bd 100644 --- a/docs/reference/rem.md +++ b/docs/reference/rem.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- -# rem +## rem -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. diff --git a/docs/reference/remainder.md b/docs/reference/remainder.md index 50a9e71..f85f7fa 100644 --- a/docs/reference/remainder.md +++ b/docs/reference/remainder.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- -# remainder +## remainder -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. diff --git a/docs/reference/remove.md b/docs/reference/remove.md index 4c7154e..983f9a1 100644 --- a/docs/reference/remove.md +++ b/docs/reference/remove.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# remove +## remove Basis Function Combinator @@ -14,22 +14,22 @@ or the item isn\'t in the list then the list is unchanged. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/rest.md b/docs/reference/rest.md index a819b91..c7b5205 100644 --- a/docs/reference/rest.md +++ b/docs/reference/rest.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# rest +## rest Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/reverse.md b/docs/reference/reverse.md index 8551d8e..2cff4d9 100644 --- a/docs/reference/reverse.md +++ b/docs/reference/reverse.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# reverse +## reverse Basis Function Combinator @@ -10,22 +10,22 @@ Reverse the list on the top of the stack. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/rolldown.md b/docs/reference/rolldown.md index 408e791..b183ab9 100644 --- a/docs/reference/rolldown.md +++ b/docs/reference/rolldown.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# rolldown +## rolldown Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/rollup.md b/docs/reference/rollup.md index 0d43217..69924a2 100644 --- a/docs/reference/rollup.md +++ b/docs/reference/rollup.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# rollup +## rollup Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/roll•GREATER-THAN-SIGN.md b/docs/reference/roll•GREATER-THAN-SIGN.md index d165b96..65988bc 100644 --- a/docs/reference/roll•GREATER-THAN-SIGN.md +++ b/docs/reference/roll•GREATER-THAN-SIGN.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- -# roll> +## roll> -Basis Function Combinator +See [rollup](#rollup). - (a1 a2 a3 -- a3 a1 a2) - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. diff --git a/docs/reference/roll•LESS-THAN-SIGN.md b/docs/reference/roll•LESS-THAN-SIGN.md index 7aeb879..2386663 100644 --- a/docs/reference/roll•LESS-THAN-SIGN.md +++ b/docs/reference/roll•LESS-THAN-SIGN.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- -# roll\< +## roll< -Basis Function Combinator +See [rolldown](#rolldown). - (a1 a2 a3 -- a2 a3 a1) - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. diff --git a/docs/reference/round.md b/docs/reference/round.md index af45d60..2ac9869 100644 --- a/docs/reference/round.md +++ b/docs/reference/round.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# round +## round Basis Function Combinator @@ -12,22 +12,22 @@ negative. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/rrest.md b/docs/reference/rrest.md index 01ec510..10d1d25 100644 --- a/docs/reference/rrest.md +++ b/docs/reference/rrest.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# rrest +## rrest Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/rshift.md b/docs/reference/rshift.md index bb265d8..bd7d5b8 100644 --- a/docs/reference/rshift.md +++ b/docs/reference/rshift.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# rshift +## rshift Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \>\> b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/run.md b/docs/reference/run.md index 381ef6c..a8a72c3 100644 --- a/docs/reference/run.md +++ b/docs/reference/run.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# run +## run Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/second.md b/docs/reference/second.md index 0f8e24b..bf4af31 100644 --- a/docs/reference/second.md +++ b/docs/reference/second.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# second +## second Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/select.md b/docs/reference/select.md index 58db0ee..73d01a0 100644 --- a/docs/reference/select.md +++ b/docs/reference/select.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# select +## select Basis Function Combinator @@ -21,22 +21,22 @@ value (so empty string, zero, etc. are counted as false, etc.) Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/sharing.md b/docs/reference/sharing.md index 3fcc61b..044c519 100644 --- a/docs/reference/sharing.md +++ b/docs/reference/sharing.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# sharing +## sharing Basis Function Combinator @@ -8,22 +8,22 @@ Print redistribution information. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/shift.md b/docs/reference/shift.md index 0d7bb36..f4d1e7e 100644 --- a/docs/reference/shift.md +++ b/docs/reference/shift.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# shift +## shift Basis Function Combinator @@ -8,22 +8,22 @@ uncons \[swons\] dip Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/shunt.md b/docs/reference/shunt.md index 81d3a1a..a6ccacf 100644 --- a/docs/reference/shunt.md +++ b/docs/reference/shunt.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# shunt +## shunt Basis Function Combinator @@ -14,22 +14,22 @@ Like concat but reverses the top list into the second. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/size.md b/docs/reference/size.md index 879796c..8a08da2 100644 --- a/docs/reference/size.md +++ b/docs/reference/size.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# size +## size Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/sort.md b/docs/reference/sort.md index f3f6c61..b1acd9f 100644 --- a/docs/reference/sort.md +++ b/docs/reference/sort.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# sort +## sort Basis Function Combinator @@ -8,22 +8,22 @@ Given a list return it sorted. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/spiral_next.md b/docs/reference/spiral_next.md index 54a6604..8a74ffd 100644 --- a/docs/reference/spiral_next.md +++ b/docs/reference/spiral_next.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# spiral_next +## spiral_next Basis Function Combinator @@ -10,22 +10,22 @@ ifte Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/split_at.md b/docs/reference/split_at.md index 6a79774..541b7b1 100644 --- a/docs/reference/split_at.md +++ b/docs/reference/split_at.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# split_at +## split_at Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/split_list.md b/docs/reference/split_list.md index ce0bf06..b7a4258 100644 --- a/docs/reference/split_list.md +++ b/docs/reference/split_list.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# split_list +## split_list Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/sqr.md b/docs/reference/sqr.md index e76cb20..dd2366d 100644 --- a/docs/reference/sqr.md +++ b/docs/reference/sqr.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# sqr +## sqr Basis Function Combinator @@ -8,22 +8,22 @@ dup \* Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/sqrt.md b/docs/reference/sqrt.md index ac4ce77..97918b0 100644 --- a/docs/reference/sqrt.md +++ b/docs/reference/sqrt.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# sqrt +## sqrt Basis Function Combinator @@ -9,22 +9,22 @@ roots. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/stack.md b/docs/reference/stack.md index a39d524..120946c 100644 --- a/docs/reference/stack.md +++ b/docs/reference/stack.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# stack +## stack Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/stackd.md b/docs/reference/stackd.md index 5726f49..4ef58d4 100644 --- a/docs/reference/stackd.md +++ b/docs/reference/stackd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# stackd +## stackd Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/step.md b/docs/reference/step.md index 9220722..4b9eb0e 100644 --- a/docs/reference/step.md +++ b/docs/reference/step.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# step +## step Basis Function Combinator @@ -25,22 +25,22 @@ top of the stack. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/step_zero.md b/docs/reference/step_zero.md index 26da9e9..bd51a37 100644 --- a/docs/reference/step_zero.md +++ b/docs/reference/step_zero.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# step_zero +## step_zero Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/stuncons.md b/docs/reference/stuncons.md index a02c46e..a5f0e38 100644 --- a/docs/reference/stuncons.md +++ b/docs/reference/stuncons.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# stuncons +## stuncons Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/stununcons.md b/docs/reference/stununcons.md index 7fbe80d..41d83f1 100644 --- a/docs/reference/stununcons.md +++ b/docs/reference/stununcons.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# stununcons +## stununcons Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/sub.md b/docs/reference/sub.md index 86eb7d6..869ecc3 100644 --- a/docs/reference/sub.md +++ b/docs/reference/sub.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# sub +## sub Basis Function Combinator @@ -8,22 +8,22 @@ Same as a - b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/succ.md b/docs/reference/succ.md index c8aeb94..6c649cf 100644 --- a/docs/reference/succ.md +++ b/docs/reference/succ.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# succ +## succ Basis Function Combinator @@ -8,22 +8,22 @@ Increment TOS. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/sum.md b/docs/reference/sum.md index b1f87b6..8e9b350 100644 --- a/docs/reference/sum.md +++ b/docs/reference/sum.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# sum +## sum Basis Function Combinator @@ -10,22 +10,22 @@ Given a quoted sequence of numbers return the sum. : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/swaack.md b/docs/reference/swaack.md index 7f68aef..966704c 100644 --- a/docs/reference/swaack.md +++ b/docs/reference/swaack.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# swaack +## swaack Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/swap.md b/docs/reference/swap.md index dd19579..01c7f98 100644 --- a/docs/reference/swap.md +++ b/docs/reference/swap.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# swap +## swap Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/swapd.md b/docs/reference/swapd.md index a086f01..ba2164c 100644 --- a/docs/reference/swapd.md +++ b/docs/reference/swapd.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# swapd +## swapd Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/swoncat.md b/docs/reference/swoncat.md index cd1027d..125eba0 100644 --- a/docs/reference/swoncat.md +++ b/docs/reference/swoncat.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# swoncat +## swoncat Basis Function Combinator @@ -8,22 +8,22 @@ swap concat Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/swons.md b/docs/reference/swons.md index e3ccafe..488ce3d 100644 --- a/docs/reference/swons.md +++ b/docs/reference/swons.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# swons +## swons Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/tailrec.md b/docs/reference/tailrec.md index 82e0dd8..ed5d81e 100644 --- a/docs/reference/tailrec.md +++ b/docs/reference/tailrec.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# tailrec +## tailrec Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/take.md b/docs/reference/take.md index 951dcf3..d16a1fe 100644 --- a/docs/reference/take.md +++ b/docs/reference/take.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# take +## take Basis Function Combinator @@ -14,22 +14,22 @@ can use reverse if needed.) : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/third.md b/docs/reference/third.md index 32bd760..dc74576 100644 --- a/docs/reference/third.md +++ b/docs/reference/third.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# third +## third Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/times.md b/docs/reference/times.md index 5bb6cf9..d64acde 100644 --- a/docs/reference/times.md +++ b/docs/reference/times.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# times +## times Basis Function Combinator @@ -22,22 +22,22 @@ times == \[\-- dip\] cons \[swap\] infra \[0 \>\] swap while pop : Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/truthy.md b/docs/reference/truthy.md index 33111c3..35953d8 100644 --- a/docs/reference/truthy.md +++ b/docs/reference/truthy.md @@ -1,33 +1,6 @@ ------------------------------------------------------------------------- +-------------- -# truthy +## truthy -Basis Function Combinator +See [bool](#bool). -bool(x) -\> bool - -Returns True when the argument x is true, False otherwise. The builtins -True and False are the only two instances of the class bool. The class -bool is a subclass of the class int, and cannot be subclassed. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. diff --git a/docs/reference/tuck.md b/docs/reference/tuck.md index 6288117..d0700de 100644 --- a/docs/reference/tuck.md +++ b/docs/reference/tuck.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# tuck +## tuck Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/unique.md b/docs/reference/unique.md index a0a324d..687876c 100644 --- a/docs/reference/unique.md +++ b/docs/reference/unique.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# unique +## unique Basis Function Combinator @@ -8,22 +8,22 @@ Given a list remove duplicate items. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/unit.md b/docs/reference/unit.md index 1761e9e..ccd479e 100644 --- a/docs/reference/unit.md +++ b/docs/reference/unit.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# unit +## unit Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/unquoted.md b/docs/reference/unquoted.md index 65cea66..6f44120 100644 --- a/docs/reference/unquoted.md +++ b/docs/reference/unquoted.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# unquoted +## unquoted Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/unswons.md b/docs/reference/unswons.md index ca87303..0fe4953 100644 --- a/docs/reference/unswons.md +++ b/docs/reference/unswons.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# unswons +## unswons Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/void.md b/docs/reference/void.md index 02f3511..11115cc 100644 --- a/docs/reference/void.md +++ b/docs/reference/void.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# void +## void Basis Function Combinator @@ -8,22 +8,22 @@ True if the form on TOS is void otherwise False. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/warranty.md b/docs/reference/warranty.md index 3aaab41..997e370 100644 --- a/docs/reference/warranty.md +++ b/docs/reference/warranty.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# warranty +## warranty Basis Function Combinator @@ -8,22 +8,22 @@ Print warranty information. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/while.md b/docs/reference/while.md index a7190da..322a537 100644 --- a/docs/reference/while.md +++ b/docs/reference/while.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# while +## while Basis Function Combinator @@ -8,22 +8,22 @@ swap nulco dupdipd concat loop Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/words.md b/docs/reference/words.md index 59c6ada..d02f181 100644 --- a/docs/reference/words.md +++ b/docs/reference/words.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# words +## words Basis Function Combinator @@ -8,22 +8,22 @@ Print all the words in alphabetical order. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/xor.md b/docs/reference/xor.md index c9e948a..66e1ece 100644 --- a/docs/reference/xor.md +++ b/docs/reference/xor.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# xor +## xor Basis Function Combinator @@ -8,22 +8,22 @@ Same as a \^ b. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/reference/zip.md b/docs/reference/zip.md index e54cb2e..9b487e3 100644 --- a/docs/reference/zip.md +++ b/docs/reference/zip.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -# zip +## zip Basis Function Combinator @@ -9,22 +9,22 @@ from each list. The smallest list sets the length of the result list. Gentzen diagram. -## Definition +### Definition if not basis. -## Derivation +### Derivation if not basis. -## Source +### Source if basis -## Discussion +### Discussion Lorem ipsum. -## Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/yow/AMPERSAND.md b/docs/yow/AMPERSAND.md index 8b9c73c..e7f5f30 100644 --- a/docs/yow/AMPERSAND.md +++ b/docs/yow/AMPERSAND.md @@ -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. diff --git a/docs/yow/ASTERISK.md b/docs/yow/ASTERISK.md index bde0412..772b2f4 100644 --- a/docs/yow/ASTERISK.md +++ b/docs/yow/ASTERISK.md @@ -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. diff --git a/docs/yow/BULLET.md b/docs/yow/BULLET.md index 0ce0ed7..1b25b7b 100644 --- a/docs/yow/BULLET.md +++ b/docs/yow/BULLET.md @@ -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. diff --git a/docs/yow/CIRCUMFLEX-ACCENT.md b/docs/yow/CIRCUMFLEX-ACCENT.md index 59876a3..09dcf47 100644 --- a/docs/yow/CIRCUMFLEX-ACCENT.md +++ b/docs/yow/CIRCUMFLEX-ACCENT.md @@ -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. diff --git a/docs/yow/EQUALS-SIGN.md b/docs/yow/EQUALS-SIGN.md index dba3f4e..bd59635 100644 --- a/docs/yow/EQUALS-SIGN.md +++ b/docs/yow/EQUALS-SIGN.md @@ -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. diff --git a/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md b/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md index 3e79426..8f49e92 100644 --- a/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md +++ b/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md @@ -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. diff --git a/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md b/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md index 4f6eea7..dddf86c 100644 --- a/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md +++ b/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md @@ -1,6 +1,6 @@ ------------------------------------------------------------------------ -!-\^\^\^\^ +## !- Basis Function Combinator @@ -8,22 +8,22 @@ Basis Function Combinator Gentzen diagram. -# Definition +### Definition if not basis. -# Derivation +### Derivation if not basis. -# Source +### Source if basis -# Discussion +### Discussion Lorem ipsum. -# Crosslinks +### Crosslinks Lorem ipsum. diff --git a/docs/yow/GREATER-THAN-SIGN.md b/docs/yow/GREATER-THAN-SIGN.md index aca5d9e..3cae0f3 100644 --- a/docs/yow/GREATER-THAN-SIGN.md +++ b/docs/yow/GREATER-THAN-SIGN.md @@ -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. diff --git a/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md b/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md index 1496c00..61d11db 100644 --- a/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md +++ b/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md @@ -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. diff --git a/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md b/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md index 117ecf4..bdf7b37 100644 --- a/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md +++ b/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md @@ -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. diff --git a/docs/yow/HYPHEN-MINUS.md b/docs/yow/HYPHEN-MINUS.md index 4611ffa..69bf02c 100644 --- a/docs/yow/HYPHEN-MINUS.md +++ b/docs/yow/HYPHEN-MINUS.md @@ -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. diff --git a/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md index e4e4ecb..2cc0cfd 100644 --- a/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md +++ b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md @@ -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. diff --git a/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst index 8b099ea..b12282d 100644 --- a/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst +++ b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst @@ -1,6 +1,6 @@ -------------- --- + -- ^^^^ Basis Function Combinator diff --git a/docs/yow/LESS-THAN-SIGN.md b/docs/yow/LESS-THAN-SIGN.md index ad75f76..55a3de2 100644 --- a/docs/yow/LESS-THAN-SIGN.md +++ b/docs/yow/LESS-THAN-SIGN.md @@ -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. diff --git a/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md b/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md index 2ad9503..828250a 100644 --- a/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md +++ b/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md @@ -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. diff --git a/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md b/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md index a3bcba9..40a6613 100644 --- a/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md +++ b/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md @@ -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. diff --git a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md index 595035e..5865734 100644 --- a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md +++ b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md @@ -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. diff --git a/docs/yow/Makefile b/docs/yow/Makefile index 5432ed7..46c0f1b 100644 --- a/docs/yow/Makefile +++ b/docs/yow/Makefile @@ -8,5 +8,7 @@ clean: $(RM) -v $(mds) $(mds): %.md : %.rst - pandoc $< -o $@ - cp -vf $@ ../reference/ + #pandoc $< -o $@ + sed -e 's/^#/##/' $@ > ../reference/$@ + +# cp -vf $@ ../reference/ diff --git a/docs/yow/PERCENT-SIGN.md b/docs/yow/PERCENT-SIGN.md index be18183..f008225 100644 --- a/docs/yow/PERCENT-SIGN.md +++ b/docs/yow/PERCENT-SIGN.md @@ -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. diff --git a/docs/yow/PLUS-SIGN.md b/docs/yow/PLUS-SIGN.md index 0dcde19..18b909a 100644 --- a/docs/yow/PLUS-SIGN.md +++ b/docs/yow/PLUS-SIGN.md @@ -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. diff --git a/docs/yow/PLUS-SIGN•PLUS-SIGN.md b/docs/yow/PLUS-SIGN•PLUS-SIGN.md index 1cead59..0068ba0 100644 --- a/docs/yow/PLUS-SIGN•PLUS-SIGN.md +++ b/docs/yow/PLUS-SIGN•PLUS-SIGN.md @@ -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. diff --git a/docs/yow/SOLIDUS.md b/docs/yow/SOLIDUS.md index 8f7a4ed..d4ca64f 100644 --- a/docs/yow/SOLIDUS.md +++ b/docs/yow/SOLIDUS.md @@ -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. diff --git a/docs/yow/SOLIDUS•SOLIDUS.md b/docs/yow/SOLIDUS•SOLIDUS.md index 07aba25..1acbeeb 100644 --- a/docs/yow/SOLIDUS•SOLIDUS.md +++ b/docs/yow/SOLIDUS•SOLIDUS.md @@ -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. diff --git a/docs/yow/SOLIDUS•floor.md b/docs/yow/SOLIDUS•floor.md index 298f403..e3c5e38 100644 --- a/docs/yow/SOLIDUS•floor.md +++ b/docs/yow/SOLIDUS•floor.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- # /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. diff --git a/docs/yow/aliassess.py b/docs/yow/aliassess.py new file mode 100644 index 0000000..7d8b386 --- /dev/null +++ b/docs/yow/aliassess.py @@ -0,0 +1,148 @@ +''' +A brutal little script to convert Markdown files for aliases + +This is a one-off script. + +''' +from pathlib import Path +from string import ascii_letters, digits +from unicodedata import name as uname + +from joy.library import ALIASES + + +okay = set(ascii_letters + digits + '_') + + +def units_of_filename(fn): + unit = '' + for char in fn: + if char not in okay: + if unit: + yield unit + unit = '' + yield uname(char).replace(' ', '-') + else: + unit += char + if unit: + yield unit + + +def safe_filename(fn): + return '•'.join(units_of_filename(fn)) + + +def rewrite(name, alias, from_, to): + TO = Path(to) + assert TO.exists() + FROM = Path(from_) + assert FROM.exists() + FROM.write_text(f'''\ +-------------- + +# {alias} + +See [{name}](#{name}). + +''') + +for name, aliases in ALIASES: + if name == 'eh': + continue + for alias in aliases: + print(f'Rewrite {safe_filename(alias)}.md to point to {name}.md') + rewrite(name, alias, f'{safe_filename(alias)}.md', f'{name}.md') + +## +##refdir = Path('../reference') +## +### Initialize the Joy dictionary. +##D = initialize() +##default_defs(D) +## +##words = sorted( +## name +## for name in D +## if not name.startswith('_') +## ) +## +### words = '!- != % & && * + ++ - -- / // /floor < << <<{} <= <> <{} = > >= >> ? ^ _Tree_add_Ee _Tree_delete_R0 _Tree_delete_clear_stuff _Tree_get_E _map0 _map1 _map2 _map? _mape _step0 _step1 _stept _times0 _times1 _timest abs add anamorphism and app1 app2 app3 appN at average b binary bool branch ccccons ccons choice clear cleave clop cmp codi codireco concat cond cons dinfrirst dip dipd dipdd disenstacken div divmod down_to_zero drop dup dupd dupdd dupdip dupdipd enstacken eq first first_two flatten floor floordiv fork fourth gcd gcd2 ge genrec getitem grabN grba gt help hypot i id ifte ii infra infrst inscribe le loop lshift lt make_generator map max min mod modulus mul ne neg not nulco nullary of or over pam pick pm pop popd popdd popop popopd popopdd popopop pow pred primrec product quoted range range_to_zero reco rem remainder remove rest reverse roll< roll> rolldown rollup round rrest rshift run second select sharing shift shunt size sort spiral_next split_at split_list sqr sqrt stack stackd step step_zero stuncons stununcons sub succ sum swaack swap swapd swoncat swons tailrec take ternary third times trace truthy tuck unary uncons unique unit unquoted unswons void warranty while words x xor zip || •'.split() +##done_manually = '''\ +##app1.md +##b.md +##binary.md +##ccons.md +##cons.md +##i.md +##infra.md +##nullary.md +##ternary.md +##unary.md +##uncons.md +##x.md'''.split() +## +##for w in words: +## +## ww = safe_filename(w) +## rst = f'{ww}.rst' +## +## fn = f'{w}.md' +## if fn in done_manually: +## continue +## +#### rf = (refdir / fn) +#### if rf.exists(): +#### print(f'copying existing {fn}') +#### Path(fn).write_bytes(rf.read_bytes()) +#### continue +## +## Path(rst).write_text(f'''\ +##-------------- +## +##{w} +##{'^' * (len(w) + 2)} +## +##Basis Function Combinator +## +##{dedent(D[w].__doc__)} +## +##Gentzen diagram. +## +## +##Definition +##~~~~~~~~~~ +## +##if not basis. +## +## +##Derivation +##~~~~~~~~~~ +## +##if not basis. +## +## +##Source +##~~~~~~~~~~ +## +##if basis +## +## +##Discussion +##~~~~~~~~~~ +## +##Lorem ipsum. +## +## +##Crosslinks +##~~~~~~~~~~ +## +##Lorem ipsum. +## +## +##''', encoding='UTF_8') +## +## +#### ww = w.replace('/', '∕') # U+2215 ∕ DIVISION SLASH +#### Path(rst).touch() +#### print(D[w].__doc__) +## diff --git a/docs/yow/at.md b/docs/yow/at.md index 62edc3d..b6b9be6 100644 --- a/docs/yow/at.md +++ b/docs/yow/at.md @@ -1,36 +1,6 @@ ------------------------------------------------------------------------- +-------------- # 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. diff --git a/docs/yow/div.md b/docs/yow/div.md index 6b17e08..8042965 100644 --- a/docs/yow/div.md +++ b/docs/yow/div.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- # 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. diff --git a/docs/yow/modulus.md b/docs/yow/modulus.md index 39773fa..dcd5513 100644 --- a/docs/yow/modulus.md +++ b/docs/yow/modulus.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- # 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. diff --git a/docs/yow/pick.md b/docs/yow/pick.md index 8c27e1c..fad2ad3 100644 --- a/docs/yow/pick.md +++ b/docs/yow/pick.md @@ -1,36 +1,6 @@ ------------------------------------------------------------------------- +-------------- # pick -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. diff --git a/docs/yow/rem.md b/docs/yow/rem.md index e70ebc0..0531e3f 100644 --- a/docs/yow/rem.md +++ b/docs/yow/rem.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- # rem -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. diff --git a/docs/yow/remainder.md b/docs/yow/remainder.md index 50a9e71..97bdd1c 100644 --- a/docs/yow/remainder.md +++ b/docs/yow/remainder.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- # remainder -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. diff --git a/docs/yow/roll•GREATER-THAN-SIGN.md b/docs/yow/roll•GREATER-THAN-SIGN.md index d165b96..5305114 100644 --- a/docs/yow/roll•GREATER-THAN-SIGN.md +++ b/docs/yow/roll•GREATER-THAN-SIGN.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- # roll> -Basis Function Combinator +See [rollup](#rollup). - (a1 a2 a3 -- a3 a1 a2) - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. diff --git a/docs/yow/roll•LESS-THAN-SIGN.md b/docs/yow/roll•LESS-THAN-SIGN.md index 7aeb879..de6a5b2 100644 --- a/docs/yow/roll•LESS-THAN-SIGN.md +++ b/docs/yow/roll•LESS-THAN-SIGN.md @@ -1,29 +1,6 @@ ------------------------------------------------------------------------- +-------------- -# roll\< +# roll< -Basis Function Combinator +See [rolldown](#rolldown). - (a1 a2 a3 -- a2 a3 a1) - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. diff --git a/docs/yow/truthy.md b/docs/yow/truthy.md index 33111c3..23aa6a5 100644 --- a/docs/yow/truthy.md +++ b/docs/yow/truthy.md @@ -1,33 +1,6 @@ ------------------------------------------------------------------------- +-------------- # truthy -Basis Function Combinator +See [bool](#bool). -bool(x) -\> bool - -Returns True when the argument x is true, False otherwise. The builtins -True and False are the only two instances of the class bool. The class -bool is a subclass of the class int, and cannot be subclassed. - -Gentzen diagram. - -## Definition - -if not basis. - -## Derivation - -if not basis. - -## Source - -if basis - -## Discussion - -Lorem ipsum. - -## Crosslinks - -Lorem ipsum. diff --git a/docs/yow/wrods.py b/docs/yow/wrods.py index e354d86..a1d0b1a 100644 --- a/docs/yow/wrods.py +++ b/docs/yow/wrods.py @@ -1,3 +1,10 @@ +''' +A brutal little script to rip out the ReST docstrings and emit +ReST files for Pandoc to transform into Markdown. + +This is a one-off script. + +''' from pathlib import Path from string import ascii_letters, digits from textwrap import dedent