From 58e97aa124761590995c4f7c37206b43761d4020 Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Wed, 23 Mar 2022 10:36:30 -0700 Subject: [PATCH] And there we are, Markdown stubs for each function. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit I hate filenames, Git hates Bullet • symbol, SNAFU. I have no idea how to properly escape gnarly filenames. I don't want to restrict Joy function names (any non-space, non-[] Unicode) so I just did the quick and dirty thing to make filenames. --- docs/yow/AMPERSAND.md | 25 ++++++ docs/yow/AMPERSAND.rst | 32 ++++++++ docs/yow/AMPERSAND•AMPERSAND.md | 25 ++++++ docs/yow/AMPERSAND•AMPERSAND.rst | 32 ++++++++ docs/yow/ASTERISK.md | 25 ++++++ docs/yow/ASTERISK.rst | 32 ++++++++ docs/yow/BULLET.md | 25 ++++++ docs/yow/BULLET.rst | 32 ++++++++ docs/yow/CIRCUMFLEX-ACCENT.md | 25 ++++++ docs/yow/CIRCUMFLEX-ACCENT.rst | 32 ++++++++ docs/yow/EQUALS-SIGN.md | 25 ++++++ docs/yow/EQUALS-SIGN.rst | 32 ++++++++ docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md | 25 ++++++ docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst | 32 ++++++++ docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md | 25 ++++++ docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst | 32 ++++++++ docs/yow/GREATER-THAN-SIGN.md | 25 ++++++ docs/yow/GREATER-THAN-SIGN.rst | 32 ++++++++ docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md | 25 ++++++ docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst | 32 ++++++++ .../GREATER-THAN-SIGN•GREATER-THAN-SIGN.md | 25 ++++++ .../GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst | 32 ++++++++ docs/yow/HYPHEN-MINUS.md | 25 ++++++ docs/yow/HYPHEN-MINUS.rst | 32 ++++++++ docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md | 25 ++++++ docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst | 32 ++++++++ docs/yow/LESS-THAN-SIGN.md | 25 ++++++ docs/yow/LESS-THAN-SIGN.rst | 32 ++++++++ docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md | 25 ++++++ docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst | 32 ++++++++ docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md | 25 ++++++ docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst | 32 ++++++++ ...•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md | 25 ++++++ ...€¢LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst | 32 ++++++++ docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md | 25 ++++++ docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst | 32 ++++++++ ...GN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md | 25 ++++++ ...N•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst | 32 ++++++++ docs/yow/PERCENT-SIGN.md | 25 ++++++ docs/yow/PERCENT-SIGN.rst | 32 ++++++++ docs/yow/PLUS-SIGN.md | 25 ++++++ docs/yow/PLUS-SIGN.rst | 32 ++++++++ docs/yow/PLUS-SIGN•PLUS-SIGN.md | 25 ++++++ docs/yow/PLUS-SIGN•PLUS-SIGN.rst | 32 ++++++++ docs/yow/QUESTION-MARK.md | 25 ++++++ docs/yow/QUESTION-MARK.rst | 32 ++++++++ docs/yow/SOLIDUS.md | 25 ++++++ docs/yow/SOLIDUS.rst | 32 ++++++++ docs/yow/SOLIDUS•SOLIDUS.md | 25 ++++++ docs/yow/SOLIDUS•SOLIDUS.rst | 32 ++++++++ docs/yow/SOLIDUS•floor.md | 25 ++++++ docs/yow/SOLIDUS•floor.rst | 32 ++++++++ docs/yow/VERTICAL-LINE•VERTICAL-LINE.md | 25 ++++++ docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst | 32 ++++++++ docs/yow/abs.md | 25 ++++++ docs/yow/abs.rst | 32 ++++++++ docs/yow/add.md | 25 ++++++ docs/yow/add.rst | 32 ++++++++ docs/yow/anamorphism.md | 25 ++++++ docs/yow/anamorphism.rst | 32 ++++++++ docs/yow/and.md | 25 ++++++ docs/yow/and.rst | 32 ++++++++ docs/yow/app2.md | 30 +++++++ docs/yow/app2.rst | 40 +++++++++ docs/yow/app3.md | 31 +++++++ docs/yow/app3.rst | 41 ++++++++++ docs/yow/appN.md | 25 ++++++ docs/yow/appN.rst | 32 ++++++++ docs/yow/at.md | 32 ++++++++ docs/yow/at.rst | 45 ++++++++++ docs/yow/average.md | 25 ++++++ docs/yow/average.rst | 32 ++++++++ docs/yow/bool.md | 29 +++++++ docs/yow/bool.rst | 36 ++++++++ docs/yow/branch.md | 35 ++++++++ docs/yow/branch.rst | 49 +++++++++++ docs/yow/ccccons.md | 25 ++++++ docs/yow/ccccons.rst | 32 ++++++++ docs/yow/choice.md | 38 +++++++++ docs/yow/choice.rst | 47 +++++++++++ docs/yow/clear.md | 30 +++++++ docs/yow/clear.rst | 40 +++++++++ docs/yow/cleave.md | 25 ++++++ docs/yow/cleave.rst | 32 ++++++++ docs/yow/clop.md | 25 ++++++ docs/yow/clop.rst | 32 ++++++++ docs/yow/cmp.md | 38 +++++++++ docs/yow/cmp.rst | 48 +++++++++++ docs/yow/codi.md | 25 ++++++ docs/yow/codi.rst | 32 ++++++++ docs/yow/codireco.md | 25 ++++++ docs/yow/codireco.rst | 32 ++++++++ docs/yow/concat.md | 29 +++++++ docs/yow/concat.rst | 40 +++++++++ docs/yow/cond.md | 36 ++++++++ docs/yow/cond.rst | 45 ++++++++++ docs/yow/dinfrirst.md | 25 ++++++ docs/yow/dinfrirst.rst | 32 ++++++++ docs/yow/dip.md | 31 +++++++ docs/yow/dip.rst | 42 ++++++++++ docs/yow/dipd.md | 29 +++++++ docs/yow/dipd.rst | 40 +++++++++ docs/yow/dipdd.md | 29 +++++++ docs/yow/dipdd.rst | 40 +++++++++ docs/yow/disenstacken.md | 26 ++++++ docs/yow/disenstacken.rst | 35 ++++++++ docs/yow/div.md | 25 ++++++ docs/yow/div.rst | 32 ++++++++ docs/yow/divmod.md | 27 ++++++ docs/yow/divmod.rst | 36 ++++++++ docs/yow/down_to_zero.md | 25 ++++++ docs/yow/down_to_zero.rst | 32 ++++++++ docs/yow/drop.md | 32 ++++++++ docs/yow/drop.rst | 45 ++++++++++ docs/yow/dup.md | 25 ++++++ docs/yow/dup.rst | 37 +++++++++ docs/yow/dupd.md | 25 ++++++ docs/yow/dupd.rst | 37 +++++++++ docs/yow/dupdd.md | 25 ++++++ docs/yow/dupdd.rst | 37 +++++++++ docs/yow/dupdip.md | 30 +++++++ docs/yow/dupdip.rst | 42 ++++++++++ docs/yow/dupdipd.md | 25 ++++++ docs/yow/dupdipd.rst | 32 ++++++++ docs/yow/enstacken.md | 25 ++++++ docs/yow/enstacken.rst | 32 ++++++++ docs/yow/eq.md | 25 ++++++ docs/yow/eq.rst | 32 ++++++++ docs/yow/first.md | 25 ++++++ docs/yow/first.rst | 37 +++++++++ docs/yow/first_two.md | 25 ++++++ docs/yow/first_two.rst | 37 +++++++++ docs/yow/flatten.md | 25 ++++++ docs/yow/flatten.rst | 32 ++++++++ docs/yow/floor.md | 27 ++++++ docs/yow/floor.rst | 34 ++++++++ docs/yow/floordiv.md | 25 ++++++ docs/yow/floordiv.rst | 32 ++++++++ docs/yow/fork.md | 25 ++++++ docs/yow/fork.rst | 32 ++++++++ docs/yow/fourth.md | 25 ++++++ docs/yow/fourth.rst | 37 +++++++++ docs/yow/gcd.md | 25 ++++++ docs/yow/gcd.rst | 32 ++++++++ docs/yow/gcd2.md | 25 ++++++ docs/yow/gcd2.rst | 32 ++++++++ docs/yow/ge.md | 25 ++++++ docs/yow/ge.rst | 32 ++++++++ docs/yow/genrec.md | 67 +++++++++++++++ docs/yow/genrec.rst | 82 +++++++++++++++++++ docs/yow/getitem.md | 32 ++++++++ docs/yow/getitem.rst | 45 ++++++++++ docs/yow/grabN.md | 25 ++++++ docs/yow/grabN.rst | 32 ++++++++ docs/yow/grba.md | 25 ++++++ docs/yow/grba.rst | 32 ++++++++ docs/yow/gt.md | 25 ++++++ docs/yow/gt.rst | 32 ++++++++ docs/yow/help.md | 25 ++++++ docs/yow/help.rst | 32 ++++++++ docs/yow/hypot.md | 25 ++++++ docs/yow/hypot.rst | 32 ++++++++ docs/yow/id.md | 25 ++++++ docs/yow/id.rst | 32 ++++++++ docs/yow/ifte.md | 39 +++++++++ docs/yow/ifte.rst | 50 +++++++++++ docs/yow/ii.md | 27 ++++++ docs/yow/ii.rst | 39 +++++++++ docs/yow/infrst.md | 25 ++++++ docs/yow/infrst.rst | 32 ++++++++ docs/yow/inscribe.md | 29 +++++++ docs/yow/inscribe.rst | 39 +++++++++ docs/yow/le.md | 25 ++++++ docs/yow/le.rst | 32 ++++++++ docs/yow/loop.md | 33 ++++++++ docs/yow/loop.rst | 44 ++++++++++ docs/yow/lshift.md | 25 ++++++ docs/yow/lshift.rst | 32 ++++++++ docs/yow/lt.md | 25 ++++++ docs/yow/lt.rst | 32 ++++++++ docs/yow/make_generator.md | 25 ++++++ docs/yow/make_generator.rst | 32 ++++++++ docs/yow/map.md | 26 ++++++ docs/yow/map.rst | 35 ++++++++ docs/yow/max.md | 25 ++++++ docs/yow/max.rst | 32 ++++++++ docs/yow/min.md | 25 ++++++ docs/yow/min.rst | 32 ++++++++ docs/yow/mod.md | 25 ++++++ docs/yow/mod.rst | 32 ++++++++ docs/yow/modulus.md | 25 ++++++ docs/yow/modulus.rst | 32 ++++++++ docs/yow/mul.md | 25 ++++++ docs/yow/mul.rst | 32 ++++++++ docs/yow/ne.md | 25 ++++++ docs/yow/ne.rst | 32 ++++++++ docs/yow/neg.md | 25 ++++++ docs/yow/neg.rst | 32 ++++++++ docs/yow/not.md | 25 ++++++ docs/yow/not.rst | 32 ++++++++ docs/yow/nulco.md | 25 ++++++ docs/yow/nulco.rst | 32 ++++++++ docs/yow/of.md | 25 ++++++ docs/yow/of.rst | 32 ++++++++ docs/yow/or.md | 25 ++++++ docs/yow/or.rst | 32 ++++++++ docs/yow/over.md | 25 ++++++ docs/yow/over.rst | 37 +++++++++ docs/yow/pam.md | 25 ++++++ docs/yow/pam.rst | 32 ++++++++ docs/yow/pick.md | 32 ++++++++ docs/yow/pick.rst | 45 ++++++++++ docs/yow/pm.md | 29 +++++++ docs/yow/pm.rst | 40 +++++++++ docs/yow/pop.md | 25 ++++++ docs/yow/pop.rst | 37 +++++++++ docs/yow/popd.md | 25 ++++++ docs/yow/popd.rst | 37 +++++++++ docs/yow/popdd.md | 25 ++++++ docs/yow/popdd.rst | 37 +++++++++ docs/yow/popop.md | 25 ++++++ docs/yow/popop.rst | 37 +++++++++ docs/yow/popopd.md | 25 ++++++ docs/yow/popopd.rst | 37 +++++++++ docs/yow/popopdd.md | 25 ++++++ docs/yow/popopdd.rst | 37 +++++++++ docs/yow/popopop.md | 25 ++++++ docs/yow/popopop.rst | 32 ++++++++ docs/yow/pow.md | 25 ++++++ docs/yow/pow.rst | 32 ++++++++ docs/yow/pred.md | 25 ++++++ docs/yow/pred.rst | 32 ++++++++ docs/yow/primrec.md | 52 ++++++++++++ docs/yow/primrec.rst | 62 ++++++++++++++ docs/yow/product.md | 25 ++++++ docs/yow/product.rst | 32 ++++++++ docs/yow/quoted.md | 25 ++++++ docs/yow/quoted.rst | 32 ++++++++ docs/yow/range.md | 25 ++++++ docs/yow/range.rst | 32 ++++++++ docs/yow/range_to_zero.md | 25 ++++++ docs/yow/range_to_zero.rst | 32 ++++++++ docs/yow/reco.md | 25 ++++++ docs/yow/reco.rst | 32 ++++++++ docs/yow/rem.md | 25 ++++++ docs/yow/rem.rst | 32 ++++++++ docs/yow/remainder.md | 25 ++++++ docs/yow/remainder.rst | 32 ++++++++ docs/yow/remove.md | 31 +++++++ docs/yow/remove.rst | 42 ++++++++++ docs/yow/rest.md | 25 ++++++ docs/yow/rest.rst | 37 +++++++++ docs/yow/reverse.md | 27 ++++++ docs/yow/reverse.rst | 37 +++++++++ docs/yow/rolldown.md | 25 ++++++ docs/yow/rolldown.rst | 37 +++++++++ docs/yow/rollup.md | 25 ++++++ docs/yow/rollup.rst | 37 +++++++++ docs/yow/roll•GREATER-THAN-SIGN.md | 25 ++++++ docs/yow/roll•GREATER-THAN-SIGN.rst | 37 +++++++++ docs/yow/roll•LESS-THAN-SIGN.md | 25 ++++++ docs/yow/roll•LESS-THAN-SIGN.rst | 37 +++++++++ docs/yow/round.md | 29 +++++++ docs/yow/round.rst | 35 ++++++++ docs/yow/rrest.md | 25 ++++++ docs/yow/rrest.rst | 37 +++++++++ docs/yow/rshift.md | 25 ++++++ docs/yow/rshift.rst | 32 ++++++++ docs/yow/run.md | 25 ++++++ docs/yow/run.rst | 32 ++++++++ docs/yow/second.md | 25 ++++++ docs/yow/second.rst | 37 +++++++++ docs/yow/select.md | 38 +++++++++ docs/yow/select.rst | 48 +++++++++++ docs/yow/sharing.md | 25 ++++++ docs/yow/sharing.rst | 32 ++++++++ docs/yow/shift.md | 25 ++++++ docs/yow/shift.rst | 32 ++++++++ docs/yow/shunt.md | 31 +++++++ docs/yow/shunt.rst | 42 ++++++++++ docs/yow/size.md | 25 ++++++ docs/yow/size.rst | 32 ++++++++ docs/yow/sort.md | 25 ++++++ docs/yow/sort.rst | 32 ++++++++ docs/yow/spiral_next.md | 27 ++++++ docs/yow/spiral_next.rst | 32 ++++++++ docs/yow/split_at.md | 25 ++++++ docs/yow/split_at.rst | 32 ++++++++ docs/yow/split_list.md | 25 ++++++ docs/yow/split_list.rst | 32 ++++++++ docs/yow/sqr.md | 25 ++++++ docs/yow/sqr.rst | 32 ++++++++ docs/yow/sqrt.md | 26 ++++++ docs/yow/sqrt.rst | 35 ++++++++ docs/yow/stack.md | 25 ++++++ docs/yow/stack.rst | 37 +++++++++ docs/yow/stackd.md | 25 ++++++ docs/yow/stackd.rst | 32 ++++++++ docs/yow/step.md | 42 ++++++++++ docs/yow/step.rst | 52 ++++++++++++ docs/yow/step_zero.md | 25 ++++++ docs/yow/step_zero.rst | 32 ++++++++ docs/yow/stuncons.md | 25 ++++++ docs/yow/stuncons.rst | 37 +++++++++ docs/yow/stununcons.md | 25 ++++++ docs/yow/stununcons.rst | 37 +++++++++ docs/yow/sub.md | 25 ++++++ docs/yow/sub.rst | 32 ++++++++ docs/yow/succ.md | 25 ++++++ docs/yow/succ.rst | 32 ++++++++ docs/yow/sum.md | 27 ++++++ docs/yow/sum.rst | 38 +++++++++ docs/yow/swaack.md | 25 ++++++ docs/yow/swaack.rst | 37 +++++++++ docs/yow/swap.md | 25 ++++++ docs/yow/swap.rst | 37 +++++++++ docs/yow/swapd.md | 25 ++++++ docs/yow/swapd.rst | 32 ++++++++ docs/yow/swoncat.md | 25 ++++++ docs/yow/swoncat.rst | 32 ++++++++ docs/yow/swons.md | 25 ++++++ docs/yow/swons.rst | 37 +++++++++ docs/yow/tailrec.md | 25 ++++++ docs/yow/tailrec.rst | 32 ++++++++ docs/yow/take.md | 31 +++++++ docs/yow/take.rst | 42 ++++++++++ docs/yow/third.md | 25 ++++++ docs/yow/third.rst | 37 +++++++++ docs/yow/times.md | 39 +++++++++ docs/yow/times.rst | 50 +++++++++++ docs/yow/truthy.md | 29 +++++++ docs/yow/truthy.rst | 36 ++++++++ docs/yow/tuck.md | 25 ++++++ docs/yow/tuck.rst | 37 +++++++++ docs/yow/unique.md | 25 ++++++ docs/yow/unique.rst | 32 ++++++++ docs/yow/unit.md | 25 ++++++ docs/yow/unit.rst | 37 +++++++++ docs/yow/unquoted.md | 25 ++++++ docs/yow/unquoted.rst | 32 ++++++++ docs/yow/unswons.md | 25 ++++++ docs/yow/unswons.rst | 37 +++++++++ docs/yow/void.md | 25 ++++++ docs/yow/void.rst | 32 ++++++++ docs/yow/warranty.md | 25 ++++++ docs/yow/warranty.rst | 32 ++++++++ docs/yow/while.md | 25 ++++++ docs/yow/while.rst | 32 ++++++++ docs/yow/words.md | 25 ++++++ docs/yow/words.rst | 32 ++++++++ docs/yow/xor.md | 25 ++++++ docs/yow/xor.rst | 32 ++++++++ docs/yow/zip.md | 26 ++++++ docs/yow/zip.rst | 35 ++++++++ 354 files changed, 10980 insertions(+) create mode 100644 docs/yow/AMPERSAND.md create mode 100644 docs/yow/AMPERSAND.rst create mode 100644 docs/yow/AMPERSAND•AMPERSAND.md create mode 100644 docs/yow/AMPERSAND•AMPERSAND.rst create mode 100644 docs/yow/ASTERISK.md create mode 100644 docs/yow/ASTERISK.rst create mode 100644 docs/yow/BULLET.md create mode 100644 docs/yow/BULLET.rst create mode 100644 docs/yow/CIRCUMFLEX-ACCENT.md create mode 100644 docs/yow/CIRCUMFLEX-ACCENT.rst create mode 100644 docs/yow/EQUALS-SIGN.md create mode 100644 docs/yow/EQUALS-SIGN.rst create mode 100644 docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md create mode 100644 docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst create mode 100644 docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md create mode 100644 docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst create mode 100644 docs/yow/GREATER-THAN-SIGN.md create mode 100644 docs/yow/GREATER-THAN-SIGN.rst create mode 100644 docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md create mode 100644 docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst create mode 100644 docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md create mode 100644 docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst create mode 100644 docs/yow/HYPHEN-MINUS.md create mode 100644 docs/yow/HYPHEN-MINUS.rst create mode 100644 docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md create mode 100644 docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst create mode 100644 docs/yow/LESS-THAN-SIGN.md create mode 100644 docs/yow/LESS-THAN-SIGN.rst create mode 100644 docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md create mode 100644 docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst create mode 100644 docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md create mode 100644 docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst create mode 100644 docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md create mode 100644 docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst create mode 100644 docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md create mode 100644 docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst create mode 100644 docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md create mode 100644 docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst create mode 100644 docs/yow/PERCENT-SIGN.md create mode 100644 docs/yow/PERCENT-SIGN.rst create mode 100644 docs/yow/PLUS-SIGN.md create mode 100644 docs/yow/PLUS-SIGN.rst create mode 100644 docs/yow/PLUS-SIGN•PLUS-SIGN.md create mode 100644 docs/yow/PLUS-SIGN•PLUS-SIGN.rst create mode 100644 docs/yow/QUESTION-MARK.md create mode 100644 docs/yow/QUESTION-MARK.rst create mode 100644 docs/yow/SOLIDUS.md create mode 100644 docs/yow/SOLIDUS.rst create mode 100644 docs/yow/SOLIDUS•SOLIDUS.md create mode 100644 docs/yow/SOLIDUS•SOLIDUS.rst create mode 100644 docs/yow/SOLIDUS•floor.md create mode 100644 docs/yow/SOLIDUS•floor.rst create mode 100644 docs/yow/VERTICAL-LINE•VERTICAL-LINE.md create mode 100644 docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst create mode 100644 docs/yow/abs.md create mode 100644 docs/yow/abs.rst create mode 100644 docs/yow/add.md create mode 100644 docs/yow/add.rst create mode 100644 docs/yow/anamorphism.md create mode 100644 docs/yow/anamorphism.rst create mode 100644 docs/yow/and.md create mode 100644 docs/yow/and.rst create mode 100644 docs/yow/app2.md create mode 100644 docs/yow/app2.rst create mode 100644 docs/yow/app3.md create mode 100644 docs/yow/app3.rst create mode 100644 docs/yow/appN.md create mode 100644 docs/yow/appN.rst create mode 100644 docs/yow/at.md create mode 100644 docs/yow/at.rst create mode 100644 docs/yow/average.md create mode 100644 docs/yow/average.rst create mode 100644 docs/yow/bool.md create mode 100644 docs/yow/bool.rst create mode 100644 docs/yow/branch.md create mode 100644 docs/yow/branch.rst create mode 100644 docs/yow/ccccons.md create mode 100644 docs/yow/ccccons.rst create mode 100644 docs/yow/choice.md create mode 100644 docs/yow/choice.rst create mode 100644 docs/yow/clear.md create mode 100644 docs/yow/clear.rst create mode 100644 docs/yow/cleave.md create mode 100644 docs/yow/cleave.rst create mode 100644 docs/yow/clop.md create mode 100644 docs/yow/clop.rst create mode 100644 docs/yow/cmp.md create mode 100644 docs/yow/cmp.rst create mode 100644 docs/yow/codi.md create mode 100644 docs/yow/codi.rst create mode 100644 docs/yow/codireco.md create mode 100644 docs/yow/codireco.rst create mode 100644 docs/yow/concat.md create mode 100644 docs/yow/concat.rst create mode 100644 docs/yow/cond.md create mode 100644 docs/yow/cond.rst create mode 100644 docs/yow/dinfrirst.md create mode 100644 docs/yow/dinfrirst.rst create mode 100644 docs/yow/dip.md create mode 100644 docs/yow/dip.rst create mode 100644 docs/yow/dipd.md create mode 100644 docs/yow/dipd.rst create mode 100644 docs/yow/dipdd.md create mode 100644 docs/yow/dipdd.rst create mode 100644 docs/yow/disenstacken.md create mode 100644 docs/yow/disenstacken.rst create mode 100644 docs/yow/div.md create mode 100644 docs/yow/div.rst create mode 100644 docs/yow/divmod.md create mode 100644 docs/yow/divmod.rst create mode 100644 docs/yow/down_to_zero.md create mode 100644 docs/yow/down_to_zero.rst create mode 100644 docs/yow/drop.md create mode 100644 docs/yow/drop.rst create mode 100644 docs/yow/dup.md create mode 100644 docs/yow/dup.rst create mode 100644 docs/yow/dupd.md create mode 100644 docs/yow/dupd.rst create mode 100644 docs/yow/dupdd.md create mode 100644 docs/yow/dupdd.rst create mode 100644 docs/yow/dupdip.md create mode 100644 docs/yow/dupdip.rst create mode 100644 docs/yow/dupdipd.md create mode 100644 docs/yow/dupdipd.rst create mode 100644 docs/yow/enstacken.md create mode 100644 docs/yow/enstacken.rst create mode 100644 docs/yow/eq.md create mode 100644 docs/yow/eq.rst create mode 100644 docs/yow/first.md create mode 100644 docs/yow/first.rst create mode 100644 docs/yow/first_two.md create mode 100644 docs/yow/first_two.rst create mode 100644 docs/yow/flatten.md create mode 100644 docs/yow/flatten.rst create mode 100644 docs/yow/floor.md create mode 100644 docs/yow/floor.rst create mode 100644 docs/yow/floordiv.md create mode 100644 docs/yow/floordiv.rst create mode 100644 docs/yow/fork.md create mode 100644 docs/yow/fork.rst create mode 100644 docs/yow/fourth.md create mode 100644 docs/yow/fourth.rst create mode 100644 docs/yow/gcd.md create mode 100644 docs/yow/gcd.rst create mode 100644 docs/yow/gcd2.md create mode 100644 docs/yow/gcd2.rst create mode 100644 docs/yow/ge.md create mode 100644 docs/yow/ge.rst create mode 100644 docs/yow/genrec.md create mode 100644 docs/yow/genrec.rst create mode 100644 docs/yow/getitem.md create mode 100644 docs/yow/getitem.rst create mode 100644 docs/yow/grabN.md create mode 100644 docs/yow/grabN.rst create mode 100644 docs/yow/grba.md create mode 100644 docs/yow/grba.rst create mode 100644 docs/yow/gt.md create mode 100644 docs/yow/gt.rst create mode 100644 docs/yow/help.md create mode 100644 docs/yow/help.rst create mode 100644 docs/yow/hypot.md create mode 100644 docs/yow/hypot.rst create mode 100644 docs/yow/id.md create mode 100644 docs/yow/id.rst create mode 100644 docs/yow/ifte.md create mode 100644 docs/yow/ifte.rst create mode 100644 docs/yow/ii.md create mode 100644 docs/yow/ii.rst create mode 100644 docs/yow/infrst.md create mode 100644 docs/yow/infrst.rst create mode 100644 docs/yow/inscribe.md create mode 100644 docs/yow/inscribe.rst create mode 100644 docs/yow/le.md create mode 100644 docs/yow/le.rst create mode 100644 docs/yow/loop.md create mode 100644 docs/yow/loop.rst create mode 100644 docs/yow/lshift.md create mode 100644 docs/yow/lshift.rst create mode 100644 docs/yow/lt.md create mode 100644 docs/yow/lt.rst create mode 100644 docs/yow/make_generator.md create mode 100644 docs/yow/make_generator.rst create mode 100644 docs/yow/map.md create mode 100644 docs/yow/map.rst create mode 100644 docs/yow/max.md create mode 100644 docs/yow/max.rst create mode 100644 docs/yow/min.md create mode 100644 docs/yow/min.rst create mode 100644 docs/yow/mod.md create mode 100644 docs/yow/mod.rst create mode 100644 docs/yow/modulus.md create mode 100644 docs/yow/modulus.rst create mode 100644 docs/yow/mul.md create mode 100644 docs/yow/mul.rst create mode 100644 docs/yow/ne.md create mode 100644 docs/yow/ne.rst create mode 100644 docs/yow/neg.md create mode 100644 docs/yow/neg.rst create mode 100644 docs/yow/not.md create mode 100644 docs/yow/not.rst create mode 100644 docs/yow/nulco.md create mode 100644 docs/yow/nulco.rst create mode 100644 docs/yow/of.md create mode 100644 docs/yow/of.rst create mode 100644 docs/yow/or.md create mode 100644 docs/yow/or.rst create mode 100644 docs/yow/over.md create mode 100644 docs/yow/over.rst create mode 100644 docs/yow/pam.md create mode 100644 docs/yow/pam.rst create mode 100644 docs/yow/pick.md create mode 100644 docs/yow/pick.rst create mode 100644 docs/yow/pm.md create mode 100644 docs/yow/pm.rst create mode 100644 docs/yow/pop.md create mode 100644 docs/yow/pop.rst create mode 100644 docs/yow/popd.md create mode 100644 docs/yow/popd.rst create mode 100644 docs/yow/popdd.md create mode 100644 docs/yow/popdd.rst create mode 100644 docs/yow/popop.md create mode 100644 docs/yow/popop.rst create mode 100644 docs/yow/popopd.md create mode 100644 docs/yow/popopd.rst create mode 100644 docs/yow/popopdd.md create mode 100644 docs/yow/popopdd.rst create mode 100644 docs/yow/popopop.md create mode 100644 docs/yow/popopop.rst create mode 100644 docs/yow/pow.md create mode 100644 docs/yow/pow.rst create mode 100644 docs/yow/pred.md create mode 100644 docs/yow/pred.rst create mode 100644 docs/yow/primrec.md create mode 100644 docs/yow/primrec.rst create mode 100644 docs/yow/product.md create mode 100644 docs/yow/product.rst create mode 100644 docs/yow/quoted.md create mode 100644 docs/yow/quoted.rst create mode 100644 docs/yow/range.md create mode 100644 docs/yow/range.rst create mode 100644 docs/yow/range_to_zero.md create mode 100644 docs/yow/range_to_zero.rst create mode 100644 docs/yow/reco.md create mode 100644 docs/yow/reco.rst create mode 100644 docs/yow/rem.md create mode 100644 docs/yow/rem.rst create mode 100644 docs/yow/remainder.md create mode 100644 docs/yow/remainder.rst create mode 100644 docs/yow/remove.md create mode 100644 docs/yow/remove.rst create mode 100644 docs/yow/rest.md create mode 100644 docs/yow/rest.rst create mode 100644 docs/yow/reverse.md create mode 100644 docs/yow/reverse.rst create mode 100644 docs/yow/rolldown.md create mode 100644 docs/yow/rolldown.rst create mode 100644 docs/yow/rollup.md create mode 100644 docs/yow/rollup.rst create mode 100644 docs/yow/roll•GREATER-THAN-SIGN.md create mode 100644 docs/yow/roll•GREATER-THAN-SIGN.rst create mode 100644 docs/yow/roll•LESS-THAN-SIGN.md create mode 100644 docs/yow/roll•LESS-THAN-SIGN.rst create mode 100644 docs/yow/round.md create mode 100644 docs/yow/round.rst create mode 100644 docs/yow/rrest.md create mode 100644 docs/yow/rrest.rst create mode 100644 docs/yow/rshift.md create mode 100644 docs/yow/rshift.rst create mode 100644 docs/yow/run.md create mode 100644 docs/yow/run.rst create mode 100644 docs/yow/second.md create mode 100644 docs/yow/second.rst create mode 100644 docs/yow/select.md create mode 100644 docs/yow/select.rst create mode 100644 docs/yow/sharing.md create mode 100644 docs/yow/sharing.rst create mode 100644 docs/yow/shift.md create mode 100644 docs/yow/shift.rst create mode 100644 docs/yow/shunt.md create mode 100644 docs/yow/shunt.rst create mode 100644 docs/yow/size.md create mode 100644 docs/yow/size.rst create mode 100644 docs/yow/sort.md create mode 100644 docs/yow/sort.rst create mode 100644 docs/yow/spiral_next.md create mode 100644 docs/yow/spiral_next.rst create mode 100644 docs/yow/split_at.md create mode 100644 docs/yow/split_at.rst create mode 100644 docs/yow/split_list.md create mode 100644 docs/yow/split_list.rst create mode 100644 docs/yow/sqr.md create mode 100644 docs/yow/sqr.rst create mode 100644 docs/yow/sqrt.md create mode 100644 docs/yow/sqrt.rst create mode 100644 docs/yow/stack.md create mode 100644 docs/yow/stack.rst create mode 100644 docs/yow/stackd.md create mode 100644 docs/yow/stackd.rst create mode 100644 docs/yow/step.md create mode 100644 docs/yow/step.rst create mode 100644 docs/yow/step_zero.md create mode 100644 docs/yow/step_zero.rst create mode 100644 docs/yow/stuncons.md create mode 100644 docs/yow/stuncons.rst create mode 100644 docs/yow/stununcons.md create mode 100644 docs/yow/stununcons.rst create mode 100644 docs/yow/sub.md create mode 100644 docs/yow/sub.rst create mode 100644 docs/yow/succ.md create mode 100644 docs/yow/succ.rst create mode 100644 docs/yow/sum.md create mode 100644 docs/yow/sum.rst create mode 100644 docs/yow/swaack.md create mode 100644 docs/yow/swaack.rst create mode 100644 docs/yow/swap.md create mode 100644 docs/yow/swap.rst create mode 100644 docs/yow/swapd.md create mode 100644 docs/yow/swapd.rst create mode 100644 docs/yow/swoncat.md create mode 100644 docs/yow/swoncat.rst create mode 100644 docs/yow/swons.md create mode 100644 docs/yow/swons.rst create mode 100644 docs/yow/tailrec.md create mode 100644 docs/yow/tailrec.rst create mode 100644 docs/yow/take.md create mode 100644 docs/yow/take.rst create mode 100644 docs/yow/third.md create mode 100644 docs/yow/third.rst create mode 100644 docs/yow/times.md create mode 100644 docs/yow/times.rst create mode 100644 docs/yow/truthy.md create mode 100644 docs/yow/truthy.rst create mode 100644 docs/yow/tuck.md create mode 100644 docs/yow/tuck.rst create mode 100644 docs/yow/unique.md create mode 100644 docs/yow/unique.rst create mode 100644 docs/yow/unit.md create mode 100644 docs/yow/unit.rst create mode 100644 docs/yow/unquoted.md create mode 100644 docs/yow/unquoted.rst create mode 100644 docs/yow/unswons.md create mode 100644 docs/yow/unswons.rst create mode 100644 docs/yow/void.md create mode 100644 docs/yow/void.rst create mode 100644 docs/yow/warranty.md create mode 100644 docs/yow/warranty.rst create mode 100644 docs/yow/while.md create mode 100644 docs/yow/while.rst create mode 100644 docs/yow/words.md create mode 100644 docs/yow/words.rst create mode 100644 docs/yow/xor.md create mode 100644 docs/yow/xor.rst create mode 100644 docs/yow/zip.md create mode 100644 docs/yow/zip.rst diff --git a/docs/yow/AMPERSAND.md b/docs/yow/AMPERSAND.md new file mode 100644 index 0000000..c4cfc90 --- /dev/null +++ b/docs/yow/AMPERSAND.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# & + +Basis Function Combinator + +Same as a & b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/AMPERSAND.rst b/docs/yow/AMPERSAND.rst new file mode 100644 index 0000000..0efa6bb --- /dev/null +++ b/docs/yow/AMPERSAND.rst @@ -0,0 +1,32 @@ +-------------- + +& +^^^ + +Basis Function Combinator + +Same as a & b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/AMPERSAND•AMPERSAND.md b/docs/yow/AMPERSAND•AMPERSAND.md new file mode 100644 index 0000000..5f19e10 --- /dev/null +++ b/docs/yow/AMPERSAND•AMPERSAND.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# && + +Basis Function Combinator + +nulco \[nullary \[false\]\] dip branch + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/AMPERSAND•AMPERSAND.rst b/docs/yow/AMPERSAND•AMPERSAND.rst new file mode 100644 index 0000000..06b8eb5 --- /dev/null +++ b/docs/yow/AMPERSAND•AMPERSAND.rst @@ -0,0 +1,32 @@ +-------------- + +&& +^^^^ + +Basis Function Combinator + +nulco [nullary [false]] dip branch + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/ASTERISK.md b/docs/yow/ASTERISK.md new file mode 100644 index 0000000..5d219c5 --- /dev/null +++ b/docs/yow/ASTERISK.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \* + +Basis Function Combinator + +Same as a \* b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/ASTERISK.rst b/docs/yow/ASTERISK.rst new file mode 100644 index 0000000..6c1aa02 --- /dev/null +++ b/docs/yow/ASTERISK.rst @@ -0,0 +1,32 @@ +-------------- + +* +^^^ + +Basis Function Combinator + +Same as a * b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/BULLET.md b/docs/yow/BULLET.md new file mode 100644 index 0000000..f66d857 --- /dev/null +++ b/docs/yow/BULLET.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# • + +Basis Function Combinator + +The identity function. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/BULLET.rst b/docs/yow/BULLET.rst new file mode 100644 index 0000000..679c185 --- /dev/null +++ b/docs/yow/BULLET.rst @@ -0,0 +1,32 @@ +-------------- + +• +^^^ + +Basis Function Combinator + +The identity function. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/CIRCUMFLEX-ACCENT.md b/docs/yow/CIRCUMFLEX-ACCENT.md new file mode 100644 index 0000000..992edc3 --- /dev/null +++ b/docs/yow/CIRCUMFLEX-ACCENT.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \^ + +Basis Function Combinator + +Same as a \^ b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/CIRCUMFLEX-ACCENT.rst b/docs/yow/CIRCUMFLEX-ACCENT.rst new file mode 100644 index 0000000..cb8cb94 --- /dev/null +++ b/docs/yow/CIRCUMFLEX-ACCENT.rst @@ -0,0 +1,32 @@ +-------------- + +^ +^^^ + +Basis Function Combinator + +Same as a ^ b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/EQUALS-SIGN.md b/docs/yow/EQUALS-SIGN.md new file mode 100644 index 0000000..49dbce6 --- /dev/null +++ b/docs/yow/EQUALS-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# = + +Basis Function Combinator + +Same as a == b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/EQUALS-SIGN.rst b/docs/yow/EQUALS-SIGN.rst new file mode 100644 index 0000000..76e922f --- /dev/null +++ b/docs/yow/EQUALS-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + += +^^^ + +Basis Function Combinator + +Same as a == b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md b/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md new file mode 100644 index 0000000..00e7db3 --- /dev/null +++ b/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# != + +Basis Function Combinator + +Same as a != b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst b/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst new file mode 100644 index 0000000..010ba30 --- /dev/null +++ b/docs/yow/EXCLAMATION-MARK•EQUALS-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +!= +^^^^ + +Basis Function Combinator + +Same as a != b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md b/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md new file mode 100644 index 0000000..d31f2ca --- /dev/null +++ b/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +!-\^\^\^\^ + +Basis Function Combinator + +0 \>= + +Gentzen diagram. + +# Definition + +if not basis. + +# Derivation + +if not basis. + +# Source + +if basis + +# Discussion + +# Crosslinks diff --git a/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst b/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst new file mode 100644 index 0000000..a821845 --- /dev/null +++ b/docs/yow/EXCLAMATION-MARK•HYPHEN-MINUS.rst @@ -0,0 +1,32 @@ +-------------- + +!- +^^^^ + +Basis Function Combinator + +0 >= + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/GREATER-THAN-SIGN.md b/docs/yow/GREATER-THAN-SIGN.md new file mode 100644 index 0000000..54a5a6b --- /dev/null +++ b/docs/yow/GREATER-THAN-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \> + +Basis Function Combinator + +Same as a \> b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/GREATER-THAN-SIGN.rst b/docs/yow/GREATER-THAN-SIGN.rst new file mode 100644 index 0000000..556c76b --- /dev/null +++ b/docs/yow/GREATER-THAN-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +> +^^^ + +Basis Function Combinator + +Same as a > b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md b/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md new file mode 100644 index 0000000..fce76fc --- /dev/null +++ b/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \>= + +Basis Function Combinator + +Same as a \>= b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst b/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst new file mode 100644 index 0000000..527f2a2 --- /dev/null +++ b/docs/yow/GREATER-THAN-SIGN•EQUALS-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +>= +^^^^ + +Basis Function Combinator + +Same as a >= b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md b/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md new file mode 100644 index 0000000..0b7f1f9 --- /dev/null +++ b/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \>\> + +Basis Function Combinator + +Same as a \>\> b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst b/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst new file mode 100644 index 0000000..e26f919 --- /dev/null +++ b/docs/yow/GREATER-THAN-SIGN•GREATER-THAN-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +>> +^^^^ + +Basis Function Combinator + +Same as a >> b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/HYPHEN-MINUS.md b/docs/yow/HYPHEN-MINUS.md new file mode 100644 index 0000000..72de1b3 --- /dev/null +++ b/docs/yow/HYPHEN-MINUS.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +-\^\^\^ + +Basis Function Combinator + +Same as a - b. + +Gentzen diagram. + +# Definition + +if not basis. + +# Derivation + +if not basis. + +# Source + +if basis + +# Discussion + +# Crosslinks diff --git a/docs/yow/HYPHEN-MINUS.rst b/docs/yow/HYPHEN-MINUS.rst new file mode 100644 index 0000000..1ee4b56 --- /dev/null +++ b/docs/yow/HYPHEN-MINUS.rst @@ -0,0 +1,32 @@ +-------------- + +- +^^^ + +Basis Function Combinator + +Same as a - b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md new file mode 100644 index 0000000..9250bb7 --- /dev/null +++ b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +\--\^\^\^\^ + +Basis Function Combinator + +Decrement TOS. + +Gentzen diagram. + +# Definition + +if not basis. + +# Derivation + +if not basis. + +# Source + +if basis + +# Discussion + +# Crosslinks diff --git a/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst new file mode 100644 index 0000000..f8270a4 --- /dev/null +++ b/docs/yow/HYPHEN-MINUS•HYPHEN-MINUS.rst @@ -0,0 +1,32 @@ +-------------- + +-- +^^^^ + +Basis Function Combinator + +Decrement TOS. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/LESS-THAN-SIGN.md b/docs/yow/LESS-THAN-SIGN.md new file mode 100644 index 0000000..fe2b41f --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \< + +Basis Function Combinator + +Same as a \< b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/LESS-THAN-SIGN.rst b/docs/yow/LESS-THAN-SIGN.rst new file mode 100644 index 0000000..14109d4 --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +< +^^^ + +Basis Function Combinator + +Same as a < b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md b/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md new file mode 100644 index 0000000..447730b --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \<= + +Basis Function Combinator + +Same as a \<= b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst b/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst new file mode 100644 index 0000000..d99a24c --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•EQUALS-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +<= +^^^^ + +Basis Function Combinator + +Same as a <= b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md b/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md new file mode 100644 index 0000000..220bcfd --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \<\> + +Basis Function Combinator + +Same as a != b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst b/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst new file mode 100644 index 0000000..b3bd856 --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•GREATER-THAN-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +<> +^^^^ + +Basis Function Combinator + +Same as a != b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md b/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md new file mode 100644 index 0000000..4572c4d --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \<{} + +Basis Function Combinator + +\[\] swap + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst b/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst new file mode 100644 index 0000000..482230b --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst @@ -0,0 +1,32 @@ +-------------- + +<{} +^^^^^ + +Basis Function Combinator + +[] swap + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md new file mode 100644 index 0000000..62a372c --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \<\< + +Basis Function Combinator + +Same as a \<\< b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst new file mode 100644 index 0000000..2702e2e --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +<< +^^^^ + +Basis Function Combinator + +Same as a << b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md new file mode 100644 index 0000000..7f4c033 --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \<\<{} + +Basis Function Combinator + +\[\] rollup + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst new file mode 100644 index 0000000..6d9854f --- /dev/null +++ b/docs/yow/LESS-THAN-SIGN•LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.rst @@ -0,0 +1,32 @@ +-------------- + +<<{} +^^^^^^ + +Basis Function Combinator + +[] rollup + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/PERCENT-SIGN.md b/docs/yow/PERCENT-SIGN.md new file mode 100644 index 0000000..9e1df91 --- /dev/null +++ b/docs/yow/PERCENT-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# % + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/PERCENT-SIGN.rst b/docs/yow/PERCENT-SIGN.rst new file mode 100644 index 0000000..f091d5c --- /dev/null +++ b/docs/yow/PERCENT-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +% +^^^ + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/PLUS-SIGN.md b/docs/yow/PLUS-SIGN.md new file mode 100644 index 0000000..b26d909 --- /dev/null +++ b/docs/yow/PLUS-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# + + +Basis Function Combinator + +Same as a + b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/PLUS-SIGN.rst b/docs/yow/PLUS-SIGN.rst new file mode 100644 index 0000000..87695f1 --- /dev/null +++ b/docs/yow/PLUS-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + ++ +^^^ + +Basis Function Combinator + +Same as a + b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/PLUS-SIGN•PLUS-SIGN.md b/docs/yow/PLUS-SIGN•PLUS-SIGN.md new file mode 100644 index 0000000..05b64f4 --- /dev/null +++ b/docs/yow/PLUS-SIGN•PLUS-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# ++ + +Basis Function Combinator + +Increment TOS. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/PLUS-SIGN•PLUS-SIGN.rst b/docs/yow/PLUS-SIGN•PLUS-SIGN.rst new file mode 100644 index 0000000..6dc9964 --- /dev/null +++ b/docs/yow/PLUS-SIGN•PLUS-SIGN.rst @@ -0,0 +1,32 @@ +-------------- + +++ +^^^^ + +Basis Function Combinator + +Increment TOS. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/QUESTION-MARK.md b/docs/yow/QUESTION-MARK.md new file mode 100644 index 0000000..7a9f973 --- /dev/null +++ b/docs/yow/QUESTION-MARK.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# ? + +Basis Function Combinator + +dup bool + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/QUESTION-MARK.rst b/docs/yow/QUESTION-MARK.rst new file mode 100644 index 0000000..96a97fe --- /dev/null +++ b/docs/yow/QUESTION-MARK.rst @@ -0,0 +1,32 @@ +-------------- + +? +^^^ + +Basis Function Combinator + +dup bool + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/SOLIDUS.md b/docs/yow/SOLIDUS.md new file mode 100644 index 0000000..308759d --- /dev/null +++ b/docs/yow/SOLIDUS.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# / + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/SOLIDUS.rst b/docs/yow/SOLIDUS.rst new file mode 100644 index 0000000..8b561eb --- /dev/null +++ b/docs/yow/SOLIDUS.rst @@ -0,0 +1,32 @@ +-------------- + +/ +^^^ + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/SOLIDUS•SOLIDUS.md b/docs/yow/SOLIDUS•SOLIDUS.md new file mode 100644 index 0000000..bac620d --- /dev/null +++ b/docs/yow/SOLIDUS•SOLIDUS.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# // + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/SOLIDUS•SOLIDUS.rst b/docs/yow/SOLIDUS•SOLIDUS.rst new file mode 100644 index 0000000..0b6ec34 --- /dev/null +++ b/docs/yow/SOLIDUS•SOLIDUS.rst @@ -0,0 +1,32 @@ +-------------- + +// +^^^^ + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/SOLIDUS•floor.md b/docs/yow/SOLIDUS•floor.md new file mode 100644 index 0000000..185b00b --- /dev/null +++ b/docs/yow/SOLIDUS•floor.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# /floor + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/SOLIDUS•floor.rst b/docs/yow/SOLIDUS•floor.rst new file mode 100644 index 0000000..46a9537 --- /dev/null +++ b/docs/yow/SOLIDUS•floor.rst @@ -0,0 +1,32 @@ +-------------- + +/floor +^^^^^^^^ + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/VERTICAL-LINE•VERTICAL-LINE.md b/docs/yow/VERTICAL-LINE•VERTICAL-LINE.md new file mode 100644 index 0000000..53cace3 --- /dev/null +++ b/docs/yow/VERTICAL-LINE•VERTICAL-LINE.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# \|\| + +Basis Function Combinator + +nulco \[nullary\] dip \[true\] branch + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst b/docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst new file mode 100644 index 0000000..9d439bc --- /dev/null +++ b/docs/yow/VERTICAL-LINE•VERTICAL-LINE.rst @@ -0,0 +1,32 @@ +-------------- + +|| +^^^^ + +Basis Function Combinator + +nulco [nullary] dip [true] branch + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/abs.md b/docs/yow/abs.md new file mode 100644 index 0000000..b7eefaa --- /dev/null +++ b/docs/yow/abs.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# abs + +Basis Function Combinator + +Return the absolute value of the argument. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/abs.rst b/docs/yow/abs.rst new file mode 100644 index 0000000..dc7bc35 --- /dev/null +++ b/docs/yow/abs.rst @@ -0,0 +1,32 @@ +-------------- + +abs +^^^^^ + +Basis Function Combinator + +Return the absolute value of the argument. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/add.md b/docs/yow/add.md new file mode 100644 index 0000000..c267144 --- /dev/null +++ b/docs/yow/add.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# add + +Basis Function Combinator + +Same as a + b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/add.rst b/docs/yow/add.rst new file mode 100644 index 0000000..2adf5ca --- /dev/null +++ b/docs/yow/add.rst @@ -0,0 +1,32 @@ +-------------- + +add +^^^^^ + +Basis Function Combinator + +Same as a + b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/anamorphism.md b/docs/yow/anamorphism.md new file mode 100644 index 0000000..f9204ef --- /dev/null +++ b/docs/yow/anamorphism.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# anamorphism + +Basis Function Combinator + +\[pop \[\]\] swap \[dip swons\] genrec + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/anamorphism.rst b/docs/yow/anamorphism.rst new file mode 100644 index 0000000..b0554fd --- /dev/null +++ b/docs/yow/anamorphism.rst @@ -0,0 +1,32 @@ +-------------- + +anamorphism +^^^^^^^^^^^^^ + +Basis Function Combinator + +[pop []] swap [dip swons] genrec + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/and.md b/docs/yow/and.md new file mode 100644 index 0000000..a28a371 --- /dev/null +++ b/docs/yow/and.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# and + +Basis Function Combinator + +Same as a & b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/and.rst b/docs/yow/and.rst new file mode 100644 index 0000000..f15cb66 --- /dev/null +++ b/docs/yow/and.rst @@ -0,0 +1,32 @@ +-------------- + +and +^^^^^ + +Basis Function Combinator + +Same as a & b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/app2.md b/docs/yow/app2.md new file mode 100644 index 0000000..da00a57 --- /dev/null +++ b/docs/yow/app2.md @@ -0,0 +1,30 @@ +------------------------------------------------------------------------ + +# app2 + +Basis Function Combinator + +Like app1 with two items. + +: ... y x [Q] . app2 + ----------------------------------- + ... [y ...] [Q] . infra first + [x ...] [Q] infra first + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/app2.rst b/docs/yow/app2.rst new file mode 100644 index 0000000..8696c60 --- /dev/null +++ b/docs/yow/app2.rst @@ -0,0 +1,40 @@ +-------------- + +app2 +^^^^^^ + +Basis Function Combinator + +Like app1 with two items. + :: + + ... y x [Q] . app2 + ----------------------------------- + ... [y ...] [Q] . infra first + [x ...] [Q] infra first + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/app3.md b/docs/yow/app3.md new file mode 100644 index 0000000..4b1ee58 --- /dev/null +++ b/docs/yow/app3.md @@ -0,0 +1,31 @@ +------------------------------------------------------------------------ + +# app3 + +Basis Function Combinator + +Like app1 with three items. + +: ... z y x [Q] . app3 + ----------------------------------- + ... [z ...] [Q] . infra first + [y ...] [Q] infra first + [x ...] [Q] infra first + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/app3.rst b/docs/yow/app3.rst new file mode 100644 index 0000000..847c6be --- /dev/null +++ b/docs/yow/app3.rst @@ -0,0 +1,41 @@ +-------------- + +app3 +^^^^^^ + +Basis Function Combinator + +Like app1 with three items. + :: + + ... z y x [Q] . app3 + ----------------------------------- + ... [z ...] [Q] . infra first + [y ...] [Q] infra first + [x ...] [Q] infra first + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/appN.md b/docs/yow/appN.md new file mode 100644 index 0000000..2921dc4 --- /dev/null +++ b/docs/yow/appN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# appN + +Basis Function Combinator + +\[grabN\] codi map disenstacken + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/appN.rst b/docs/yow/appN.rst new file mode 100644 index 0000000..0342f61 --- /dev/null +++ b/docs/yow/appN.rst @@ -0,0 +1,32 @@ +-------------- + +appN +^^^^^^ + +Basis Function Combinator + +[grabN] codi map disenstacken + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/at.md b/docs/yow/at.md new file mode 100644 index 0000000..a87b1cb --- /dev/null +++ b/docs/yow/at.md @@ -0,0 +1,32 @@ +------------------------------------------------------------------------ + +# 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 + +## Crosslinks diff --git a/docs/yow/at.rst b/docs/yow/at.rst new file mode 100644 index 0000000..737cc4d --- /dev/null +++ b/docs/yow/at.rst @@ -0,0 +1,45 @@ +-------------- + +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 +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/average.md b/docs/yow/average.md new file mode 100644 index 0000000..2a1fb83 --- /dev/null +++ b/docs/yow/average.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# average + +Basis Function Combinator + +\[sum\] \[size\] cleave / + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/average.rst b/docs/yow/average.rst new file mode 100644 index 0000000..30dd6e4 --- /dev/null +++ b/docs/yow/average.rst @@ -0,0 +1,32 @@ +-------------- + +average +^^^^^^^^^ + +Basis Function Combinator + +[sum] [size] cleave / + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/bool.md b/docs/yow/bool.md new file mode 100644 index 0000000..6f90de6 --- /dev/null +++ b/docs/yow/bool.md @@ -0,0 +1,29 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/bool.rst b/docs/yow/bool.rst new file mode 100644 index 0000000..a179d75 --- /dev/null +++ b/docs/yow/bool.rst @@ -0,0 +1,36 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/branch.md b/docs/yow/branch.md new file mode 100644 index 0000000..cde4bd3 --- /dev/null +++ b/docs/yow/branch.md @@ -0,0 +1,35 @@ +------------------------------------------------------------------------ + +# branch + +Basis Function Combinator + +Use a Boolean value to select one of two quoted programs to run. + + branch == roll< choice i + + False [F] [T] branch + -------------------------- + F + + True [F] [T] branch + ------------------------- + T + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/branch.rst b/docs/yow/branch.rst new file mode 100644 index 0000000..4246787 --- /dev/null +++ b/docs/yow/branch.rst @@ -0,0 +1,49 @@ +-------------- + +branch +^^^^^^^^ + +Basis Function Combinator + + +Use a Boolean value to select one of two quoted programs to run. + +:: + + branch == roll< choice i + +:: + + False [F] [T] branch + -------------------------- + F + + True [F] [T] branch + ------------------------- + T + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/ccccons.md b/docs/yow/ccccons.md new file mode 100644 index 0000000..028352d --- /dev/null +++ b/docs/yow/ccccons.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# ccccons + +Basis Function Combinator + +ccons ccons + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/ccccons.rst b/docs/yow/ccccons.rst new file mode 100644 index 0000000..717eba7 --- /dev/null +++ b/docs/yow/ccccons.rst @@ -0,0 +1,32 @@ +-------------- + +ccccons +^^^^^^^^^ + +Basis Function Combinator + +ccons ccons + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/choice.md b/docs/yow/choice.md new file mode 100644 index 0000000..30166d3 --- /dev/null +++ b/docs/yow/choice.md @@ -0,0 +1,38 @@ +------------------------------------------------------------------------ + +# choice + +Basis Function Combinator + +Use a Boolean value to select one of two items. : + + A B false choice + ---------------------- + A + + + 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/choice.rst b/docs/yow/choice.rst new file mode 100644 index 0000000..2029e8e --- /dev/null +++ b/docs/yow/choice.rst @@ -0,0 +1,47 @@ +-------------- + +choice +^^^^^^^^ + +Basis Function Combinator + + +Use a Boolean value to select one of two items. +:: + + A B false choice + ---------------------- + A + + + 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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/clear.md b/docs/yow/clear.md new file mode 100644 index 0000000..4937dd7 --- /dev/null +++ b/docs/yow/clear.md @@ -0,0 +1,30 @@ +------------------------------------------------------------------------ + +# clear + +Basis Function Combinator + +Clear everything from the stack. + +: clear == stack [pop stack] loop + + ... clear + --------------- + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/clear.rst b/docs/yow/clear.rst new file mode 100644 index 0000000..fb09330 --- /dev/null +++ b/docs/yow/clear.rst @@ -0,0 +1,40 @@ +-------------- + +clear +^^^^^^^ + +Basis Function Combinator + +Clear everything from the stack. + :: + + clear == stack [pop stack] loop + + ... clear + --------------- + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/cleave.md b/docs/yow/cleave.md new file mode 100644 index 0000000..0e3783b --- /dev/null +++ b/docs/yow/cleave.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# cleave + +Basis Function Combinator + +fork popdd + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/cleave.rst b/docs/yow/cleave.rst new file mode 100644 index 0000000..7f05561 --- /dev/null +++ b/docs/yow/cleave.rst @@ -0,0 +1,32 @@ +-------------- + +cleave +^^^^^^^^ + +Basis Function Combinator + +fork popdd + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/clop.md b/docs/yow/clop.md new file mode 100644 index 0000000..9a99fa1 --- /dev/null +++ b/docs/yow/clop.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# clop + +Basis Function Combinator + +cleave popdd + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/clop.rst b/docs/yow/clop.rst new file mode 100644 index 0000000..30bc958 --- /dev/null +++ b/docs/yow/clop.rst @@ -0,0 +1,32 @@ +-------------- + +clop +^^^^^^ + +Basis Function Combinator + +cleave popdd + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/cmp.md b/docs/yow/cmp.md new file mode 100644 index 0000000..d8cf1d2 --- /dev/null +++ b/docs/yow/cmp.md @@ -0,0 +1,38 @@ +------------------------------------------------------------------------ + +# 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 + ------------------------- a > b + G + + a b [G] [E] [L] cmp + ------------------------- a = b + E + + a b [G] [E] [L] cmp + ------------------------- a < b + L + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/cmp.rst b/docs/yow/cmp.rst new file mode 100644 index 0000000..ea22d94 --- /dev/null +++ b/docs/yow/cmp.rst @@ -0,0 +1,48 @@ +-------------- + +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 + ------------------------- a > b + G + + a b [G] [E] [L] cmp + ------------------------- a = b + E + + a b [G] [E] [L] cmp + ------------------------- a < b + L + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/codi.md b/docs/yow/codi.md new file mode 100644 index 0000000..eb695c0 --- /dev/null +++ b/docs/yow/codi.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# codi + +Basis Function Combinator + +cons dip + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/codi.rst b/docs/yow/codi.rst new file mode 100644 index 0000000..4aa42ba --- /dev/null +++ b/docs/yow/codi.rst @@ -0,0 +1,32 @@ +-------------- + +codi +^^^^^^ + +Basis Function Combinator + +cons dip + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/codireco.md b/docs/yow/codireco.md new file mode 100644 index 0000000..cbe0a7b --- /dev/null +++ b/docs/yow/codireco.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# codireco + +Basis Function Combinator + +codi reco + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/codireco.rst b/docs/yow/codireco.rst new file mode 100644 index 0000000..8b9a416 --- /dev/null +++ b/docs/yow/codireco.rst @@ -0,0 +1,32 @@ +-------------- + +codireco +^^^^^^^^^^ + +Basis Function Combinator + +codi reco + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/concat.md b/docs/yow/concat.md new file mode 100644 index 0000000..cd4f479 --- /dev/null +++ b/docs/yow/concat.md @@ -0,0 +1,29 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/concat.rst b/docs/yow/concat.rst new file mode 100644 index 0000000..f745837 --- /dev/null +++ b/docs/yow/concat.rst @@ -0,0 +1,40 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/cond.md b/docs/yow/cond.md new file mode 100644 index 0000000..6ea0322 --- /dev/null +++ b/docs/yow/cond.md @@ -0,0 +1,36 @@ +------------------------------------------------------------------------ + +# 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]{.title-ref} +expressions, e.g.: + + [[[B0] T0] [[B1] T1] [D]] cond + ----------------------------------------- + [B0] [T0] [[B1] [T1] [D] ifte] ifte + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/cond.rst b/docs/yow/cond.rst new file mode 100644 index 0000000..49823bc --- /dev/null +++ b/docs/yow/cond.rst @@ -0,0 +1,45 @@ +-------------- + +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.:: + + [[[B0] T0] [[B1] T1] [D]] cond + ----------------------------------------- + [B0] [T0] [[B1] [T1] [D] ifte] ifte + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/dinfrirst.md b/docs/yow/dinfrirst.md new file mode 100644 index 0000000..88d5cac --- /dev/null +++ b/docs/yow/dinfrirst.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# dinfrirst + +Basis Function Combinator + +dip infrst + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/dinfrirst.rst b/docs/yow/dinfrirst.rst new file mode 100644 index 0000000..c5e30e2 --- /dev/null +++ b/docs/yow/dinfrirst.rst @@ -0,0 +1,32 @@ +-------------- + +dinfrirst +^^^^^^^^^^^ + +Basis Function Combinator + +dip infrst + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/dip.md b/docs/yow/dip.md new file mode 100644 index 0000000..0be4fe9 --- /dev/null +++ b/docs/yow/dip.md @@ -0,0 +1,31 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/dip.rst b/docs/yow/dip.rst new file mode 100644 index 0000000..c2032c5 --- /dev/null +++ b/docs/yow/dip.rst @@ -0,0 +1,42 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/dipd.md b/docs/yow/dipd.md new file mode 100644 index 0000000..c91eeae --- /dev/null +++ b/docs/yow/dipd.md @@ -0,0 +1,29 @@ +------------------------------------------------------------------------ + +# dipd + +Basis Function Combinator + +Like dip but expects two items. : + + ... y x [Q] dip + --------------------- + ... Q y x + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/dipd.rst b/docs/yow/dipd.rst new file mode 100644 index 0000000..0b8d1d5 --- /dev/null +++ b/docs/yow/dipd.rst @@ -0,0 +1,40 @@ +-------------- + +dipd +^^^^^^ + +Basis Function Combinator + + +Like dip but expects two items. +:: + + ... y x [Q] dip + --------------------- + ... Q y x + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/dipdd.md b/docs/yow/dipdd.md new file mode 100644 index 0000000..9754af1 --- /dev/null +++ b/docs/yow/dipdd.md @@ -0,0 +1,29 @@ +------------------------------------------------------------------------ + +# dipdd + +Basis Function Combinator + +Like dip but expects three items. : + + ... z y x [Q] dip + ----------------------- + ... Q z y x + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/dipdd.rst b/docs/yow/dipdd.rst new file mode 100644 index 0000000..b30f550 --- /dev/null +++ b/docs/yow/dipdd.rst @@ -0,0 +1,40 @@ +-------------- + +dipdd +^^^^^^^ + +Basis Function Combinator + + +Like dip but expects three items. +:: + + ... z y x [Q] dip + ----------------------- + ... Q z y x + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/disenstacken.md b/docs/yow/disenstacken.md new file mode 100644 index 0000000..1ee798e --- /dev/null +++ b/docs/yow/disenstacken.md @@ -0,0 +1,26 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/disenstacken.rst b/docs/yow/disenstacken.rst new file mode 100644 index 0000000..d33c3c5 --- /dev/null +++ b/docs/yow/disenstacken.rst @@ -0,0 +1,35 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/div.md b/docs/yow/div.md new file mode 100644 index 0000000..9770af1 --- /dev/null +++ b/docs/yow/div.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# div + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/div.rst b/docs/yow/div.rst new file mode 100644 index 0000000..ab59af6 --- /dev/null +++ b/docs/yow/div.rst @@ -0,0 +1,32 @@ +-------------- + +div +^^^^^ + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/divmod.md b/docs/yow/divmod.md new file mode 100644 index 0000000..d451c73 --- /dev/null +++ b/docs/yow/divmod.md @@ -0,0 +1,27 @@ +------------------------------------------------------------------------ + +# divmod + +Basis Function Combinator + +divmod(x, y) -\> (quotient, remainder) + +Return the tuple (x//y, x%y). Invariant: q \* y + r == x. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/divmod.rst b/docs/yow/divmod.rst new file mode 100644 index 0000000..e2037bb --- /dev/null +++ b/docs/yow/divmod.rst @@ -0,0 +1,36 @@ +-------------- + +divmod +^^^^^^^^ + +Basis Function Combinator + + +divmod(x, y) -> (quotient, remainder) + +Return the tuple (x//y, x%y). Invariant: q * y + r == x. + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/down_to_zero.md b/docs/yow/down_to_zero.md new file mode 100644 index 0000000..45dedaa --- /dev/null +++ b/docs/yow/down_to_zero.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# down_to_zero + +Basis Function Combinator + +\[0 \>\] \[dup \--\] while + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/down_to_zero.rst b/docs/yow/down_to_zero.rst new file mode 100644 index 0000000..a98e971 --- /dev/null +++ b/docs/yow/down_to_zero.rst @@ -0,0 +1,32 @@ +-------------- + +down_to_zero +^^^^^^^^^^^^^^ + +Basis Function Combinator + +[0 >] [dup --] while + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/drop.md b/docs/yow/drop.md new file mode 100644 index 0000000..6edd36f --- /dev/null +++ b/docs/yow/drop.md @@ -0,0 +1,32 @@ +------------------------------------------------------------------------ + +# 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. : + + [a b c d] 2 drop + ---------------------- + [c d] + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/drop.rst b/docs/yow/drop.rst new file mode 100644 index 0000000..07d0c3b --- /dev/null +++ b/docs/yow/drop.rst @@ -0,0 +1,45 @@ +-------------- + +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. +:: + + [a b c d] 2 drop + ---------------------- + [c d] + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/dup.md b/docs/yow/dup.md new file mode 100644 index 0000000..fde9ac5 --- /dev/null +++ b/docs/yow/dup.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# dup + +Basis Function Combinator + + (a1 -- a1 a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/dup.rst b/docs/yow/dup.rst new file mode 100644 index 0000000..2c862ed --- /dev/null +++ b/docs/yow/dup.rst @@ -0,0 +1,37 @@ +-------------- + +dup +^^^^^ + +Basis Function Combinator + + +:: + + (a1 -- a1 a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/dupd.md b/docs/yow/dupd.md new file mode 100644 index 0000000..b0ecace --- /dev/null +++ b/docs/yow/dupd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# dupd + +Basis Function Combinator + + (a2 a1 -- a2 a2 a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/dupd.rst b/docs/yow/dupd.rst new file mode 100644 index 0000000..b844c27 --- /dev/null +++ b/docs/yow/dupd.rst @@ -0,0 +1,37 @@ +-------------- + +dupd +^^^^^^ + +Basis Function Combinator + + +:: + + (a2 a1 -- a2 a2 a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/dupdd.md b/docs/yow/dupdd.md new file mode 100644 index 0000000..e114303 --- /dev/null +++ b/docs/yow/dupdd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# dupdd + +Basis Function Combinator + + (a3 a2 a1 -- a3 a3 a2 a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/dupdd.rst b/docs/yow/dupdd.rst new file mode 100644 index 0000000..3ad505e --- /dev/null +++ b/docs/yow/dupdd.rst @@ -0,0 +1,37 @@ +-------------- + +dupdd +^^^^^^^ + +Basis Function Combinator + + +:: + + (a3 a2 a1 -- a3 a3 a2 a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/dupdip.md b/docs/yow/dupdip.md new file mode 100644 index 0000000..6a45d81 --- /dev/null +++ b/docs/yow/dupdip.md @@ -0,0 +1,30 @@ +------------------------------------------------------------------------ + +# dupdip + +Basis Function Combinator + + [F] dupdip == dup [F] dip + + ... a [F] dupdip + ... a dup [F] dip + ... a a [F] dip + ... a F a + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/dupdip.rst b/docs/yow/dupdip.rst new file mode 100644 index 0000000..f88fa6d --- /dev/null +++ b/docs/yow/dupdip.rst @@ -0,0 +1,42 @@ +-------------- + +dupdip +^^^^^^^^ + +Basis Function Combinator + + +:: + + [F] dupdip == dup [F] dip + + ... a [F] dupdip + ... a dup [F] dip + ... a a [F] dip + ... a F a + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/dupdipd.md b/docs/yow/dupdipd.md new file mode 100644 index 0000000..6041238 --- /dev/null +++ b/docs/yow/dupdipd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# dupdipd + +Basis Function Combinator + +dup dipd + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/dupdipd.rst b/docs/yow/dupdipd.rst new file mode 100644 index 0000000..685fbb9 --- /dev/null +++ b/docs/yow/dupdipd.rst @@ -0,0 +1,32 @@ +-------------- + +dupdipd +^^^^^^^^^ + +Basis Function Combinator + +dup dipd + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/enstacken.md b/docs/yow/enstacken.md new file mode 100644 index 0000000..768298f --- /dev/null +++ b/docs/yow/enstacken.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# enstacken + +Basis Function Combinator + +stack \[clear\] dip + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/enstacken.rst b/docs/yow/enstacken.rst new file mode 100644 index 0000000..102af1a --- /dev/null +++ b/docs/yow/enstacken.rst @@ -0,0 +1,32 @@ +-------------- + +enstacken +^^^^^^^^^^^ + +Basis Function Combinator + +stack [clear] dip + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/eq.md b/docs/yow/eq.md new file mode 100644 index 0000000..d0e0032 --- /dev/null +++ b/docs/yow/eq.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# eq + +Basis Function Combinator + +Same as a == b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/eq.rst b/docs/yow/eq.rst new file mode 100644 index 0000000..aeabdb2 --- /dev/null +++ b/docs/yow/eq.rst @@ -0,0 +1,32 @@ +-------------- + +eq +^^^^ + +Basis Function Combinator + +Same as a == b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/first.md b/docs/yow/first.md new file mode 100644 index 0000000..931488a --- /dev/null +++ b/docs/yow/first.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# first + +Basis Function Combinator + + ([a1 ...1] -- a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/first.rst b/docs/yow/first.rst new file mode 100644 index 0000000..7015776 --- /dev/null +++ b/docs/yow/first.rst @@ -0,0 +1,37 @@ +-------------- + +first +^^^^^^^ + +Basis Function Combinator + + +:: + + ([a1 ...1] -- a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/first_two.md b/docs/yow/first_two.md new file mode 100644 index 0000000..5d1fdb7 --- /dev/null +++ b/docs/yow/first_two.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# first_two + +Basis Function Combinator + + ([a1 a2 ...1] -- a1 a2) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/first_two.rst b/docs/yow/first_two.rst new file mode 100644 index 0000000..e9a6761 --- /dev/null +++ b/docs/yow/first_two.rst @@ -0,0 +1,37 @@ +-------------- + +first_two +^^^^^^^^^^^ + +Basis Function Combinator + + +:: + + ([a1 a2 ...1] -- a1 a2) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/flatten.md b/docs/yow/flatten.md new file mode 100644 index 0000000..e91ca72 --- /dev/null +++ b/docs/yow/flatten.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# flatten + +Basis Function Combinator + +\<{} \[concat\] step + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/flatten.rst b/docs/yow/flatten.rst new file mode 100644 index 0000000..6ea30e6 --- /dev/null +++ b/docs/yow/flatten.rst @@ -0,0 +1,32 @@ +-------------- + +flatten +^^^^^^^^^ + +Basis Function Combinator + +<{} [concat] step + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/floor.md b/docs/yow/floor.md new file mode 100644 index 0000000..3c77c8f --- /dev/null +++ b/docs/yow/floor.md @@ -0,0 +1,27 @@ +------------------------------------------------------------------------ + +# floor + +Basis Function Combinator + +Return the floor of x as an Integral. + +This is the largest integer \<= x. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/floor.rst b/docs/yow/floor.rst new file mode 100644 index 0000000..fff332c --- /dev/null +++ b/docs/yow/floor.rst @@ -0,0 +1,34 @@ +-------------- + +floor +^^^^^^^ + +Basis Function Combinator + +Return the floor of x as an Integral. + +This is the largest integer <= x. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/floordiv.md b/docs/yow/floordiv.md new file mode 100644 index 0000000..7c151b8 --- /dev/null +++ b/docs/yow/floordiv.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# floordiv + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/floordiv.rst b/docs/yow/floordiv.rst new file mode 100644 index 0000000..67e962e --- /dev/null +++ b/docs/yow/floordiv.rst @@ -0,0 +1,32 @@ +-------------- + +floordiv +^^^^^^^^^^ + +Basis Function Combinator + +Same as a // b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/fork.md b/docs/yow/fork.md new file mode 100644 index 0000000..aceb847 --- /dev/null +++ b/docs/yow/fork.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# fork + +Basis Function Combinator + +\[i\] app2 + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/fork.rst b/docs/yow/fork.rst new file mode 100644 index 0000000..5841ebb --- /dev/null +++ b/docs/yow/fork.rst @@ -0,0 +1,32 @@ +-------------- + +fork +^^^^^^ + +Basis Function Combinator + +[i] app2 + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/fourth.md b/docs/yow/fourth.md new file mode 100644 index 0000000..fb3fe66 --- /dev/null +++ b/docs/yow/fourth.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# fourth + +Basis Function Combinator + + ([a1 a2 a3 a4 ...1] -- a4) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/fourth.rst b/docs/yow/fourth.rst new file mode 100644 index 0000000..4401db8 --- /dev/null +++ b/docs/yow/fourth.rst @@ -0,0 +1,37 @@ +-------------- + +fourth +^^^^^^^^ + +Basis Function Combinator + + +:: + + ([a1 a2 a3 a4 ...1] -- a4) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/gcd.md b/docs/yow/gcd.md new file mode 100644 index 0000000..81cde6b --- /dev/null +++ b/docs/yow/gcd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# gcd + +Basis Function Combinator + +true \[tuck mod dup 0 \>\] loop pop + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/gcd.rst b/docs/yow/gcd.rst new file mode 100644 index 0000000..aa314a5 --- /dev/null +++ b/docs/yow/gcd.rst @@ -0,0 +1,32 @@ +-------------- + +gcd +^^^^^ + +Basis Function Combinator + +true [tuck mod dup 0 >] loop pop + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/gcd2.md b/docs/yow/gcd2.md new file mode 100644 index 0000000..e4266e9 --- /dev/null +++ b/docs/yow/gcd2.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# gcd2 + +Basis Function Combinator + +Compiled GCD function. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/gcd2.rst b/docs/yow/gcd2.rst new file mode 100644 index 0000000..d71c449 --- /dev/null +++ b/docs/yow/gcd2.rst @@ -0,0 +1,32 @@ +-------------- + +gcd2 +^^^^^^ + +Basis Function Combinator + +Compiled GCD function. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/ge.md b/docs/yow/ge.md new file mode 100644 index 0000000..b8a8d58 --- /dev/null +++ b/docs/yow/ge.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# ge + +Basis Function Combinator + +Same as a \>= b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/ge.rst b/docs/yow/ge.rst new file mode 100644 index 0000000..13353cb --- /dev/null +++ b/docs/yow/ge.rst @@ -0,0 +1,32 @@ +-------------- + +ge +^^^^ + +Basis Function Combinator + +Same as a >= b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/genrec.md b/docs/yow/genrec.md new file mode 100644 index 0000000..7e7fecb --- /dev/null +++ b/docs/yow/genrec.md @@ -0,0 +1,67 @@ +------------------------------------------------------------------------ + +# genrec + +Basis Function Combinator + +General Recursion Combinator. : + + [if] [then] [rec1] [rec2] genrec + --------------------------------------------------------------------- + [if] [then] [rec1 [[if] [then] [rec1] [rec2] genrec] rec2] ifte + +From \"Recursion Theory and Joy\" (j05cmp.html) by Manfred von Thun: +\"The genrec combinator takes four program parameters in addition to +whatever data parameters it needs. Fourth from the top is an if-part, +followed by a then-part. If the if-part yields true, then the then-part +is executed and the combinator terminates. The other two parameters are +the rec1-part and the rec2-part. If the if-part yields false, the +rec1-part is executed. Following that the four program parameters and +the combinator are again pushed onto the stack bundled up in a quoted +form. Then the rec2-part is executed, where it will find the bundled +form. Typically it will then execute the bundled form, either with i or +with app2, or some other combinator.\" + +The way to design one of these is to fix your base case \[then\] and the +test \[if\], and then treat rec1 and rec2 as an else-part +\"sandwiching\" a quotation of the whole function. + +For example, given a (general recursive) function \'F\': : + + F == [I] [T] [R1] [R2] genrec + +If the \[I\] if-part fails you must derive R1 and R2 from: : + + ... R1 [F] R2 + +Just set the stack arguments in front, and figure out what R1 and R2 +have to do to apply the quoted \[F\] in the proper way. In effect, the +genrec combinator turns into an ifte combinator with a quoted copy of +the original definition in the else-part: : + + F == [I] [T] [R1] [R2] genrec + == [I] [T] [R1 [F] R2] ifte + +Primitive recursive functions are those where R2 == i. : + + P == [I] [T] [R] tailrec + == [I] [T] [R [P] i] ifte + == [I] [T] [R P] ifte + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/genrec.rst b/docs/yow/genrec.rst new file mode 100644 index 0000000..85e9f85 --- /dev/null +++ b/docs/yow/genrec.rst @@ -0,0 +1,82 @@ +-------------- + +genrec +^^^^^^^^ + +Basis Function Combinator + + +General Recursion Combinator. +:: + + [if] [then] [rec1] [rec2] genrec + --------------------------------------------------------------------- + [if] [then] [rec1 [[if] [then] [rec1] [rec2] genrec] rec2] ifte + +From "Recursion Theory and Joy" (j05cmp.html) by Manfred von Thun: +"The genrec combinator takes four program parameters in addition to +whatever data parameters it needs. Fourth from the top is an if-part, +followed by a then-part. If the if-part yields true, then the then-part +is executed and the combinator terminates. The other two parameters are +the rec1-part and the rec2-part. If the if-part yields false, the +rec1-part is executed. Following that the four program parameters and +the combinator are again pushed onto the stack bundled up in a quoted +form. Then the rec2-part is executed, where it will find the bundled +form. Typically it will then execute the bundled form, either with i or +with app2, or some other combinator." + +The way to design one of these is to fix your base case [then] and the +test [if], and then treat rec1 and rec2 as an else-part "sandwiching" +a quotation of the whole function. + +For example, given a (general recursive) function 'F': +:: + + F == [I] [T] [R1] [R2] genrec + +If the [I] if-part fails you must derive R1 and R2 from: +:: + + ... R1 [F] R2 + +Just set the stack arguments in front, and figure out what R1 and R2 +have to do to apply the quoted [F] in the proper way. In effect, the +genrec combinator turns into an ifte combinator with a quoted copy of +the original definition in the else-part: +:: + + F == [I] [T] [R1] [R2] genrec + == [I] [T] [R1 [F] R2] ifte + +Primitive recursive functions are those where R2 == i. +:: + + P == [I] [T] [R] tailrec + == [I] [T] [R [P] i] ifte + == [I] [T] [R P] ifte + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/getitem.md b/docs/yow/getitem.md new file mode 100644 index 0000000..e5e9a65 --- /dev/null +++ b/docs/yow/getitem.md @@ -0,0 +1,32 @@ +------------------------------------------------------------------------ + +# 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. : + + [a b c d] 0 getitem + ------------------------- + a + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/getitem.rst b/docs/yow/getitem.rst new file mode 100644 index 0000000..daaf6a5 --- /dev/null +++ b/docs/yow/getitem.rst @@ -0,0 +1,45 @@ +-------------- + +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. +:: + + [a b c d] 0 getitem + ------------------------- + a + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/grabN.md b/docs/yow/grabN.md new file mode 100644 index 0000000..a750838 --- /dev/null +++ b/docs/yow/grabN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# grabN + +Basis Function Combinator + +\<{} \[cons\] times + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/grabN.rst b/docs/yow/grabN.rst new file mode 100644 index 0000000..cfcb21a --- /dev/null +++ b/docs/yow/grabN.rst @@ -0,0 +1,32 @@ +-------------- + +grabN +^^^^^^^ + +Basis Function Combinator + +<{} [cons] times + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/grba.md b/docs/yow/grba.md new file mode 100644 index 0000000..6dda794 --- /dev/null +++ b/docs/yow/grba.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# grba + +Basis Function Combinator + +\[stack popd\] dip + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/grba.rst b/docs/yow/grba.rst new file mode 100644 index 0000000..23302cf --- /dev/null +++ b/docs/yow/grba.rst @@ -0,0 +1,32 @@ +-------------- + +grba +^^^^^^ + +Basis Function Combinator + +[stack popd] dip + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/gt.md b/docs/yow/gt.md new file mode 100644 index 0000000..e233332 --- /dev/null +++ b/docs/yow/gt.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# gt + +Basis Function Combinator + +Same as a \> b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/gt.rst b/docs/yow/gt.rst new file mode 100644 index 0000000..57b084c --- /dev/null +++ b/docs/yow/gt.rst @@ -0,0 +1,32 @@ +-------------- + +gt +^^^^ + +Basis Function Combinator + +Same as a > b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/help.md b/docs/yow/help.md new file mode 100644 index 0000000..a95bc8d --- /dev/null +++ b/docs/yow/help.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# help + +Basis Function Combinator + +Accepts a quoted symbol on the top of the stack and prints its docs. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/help.rst b/docs/yow/help.rst new file mode 100644 index 0000000..f06cb08 --- /dev/null +++ b/docs/yow/help.rst @@ -0,0 +1,32 @@ +-------------- + +help +^^^^^^ + +Basis Function Combinator + +Accepts a quoted symbol on the top of the stack and prints its docs. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/hypot.md b/docs/yow/hypot.md new file mode 100644 index 0000000..246ab52 --- /dev/null +++ b/docs/yow/hypot.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# hypot + +Basis Function Combinator + +\[sqr\] ii + sqrt + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/hypot.rst b/docs/yow/hypot.rst new file mode 100644 index 0000000..3f9f877 --- /dev/null +++ b/docs/yow/hypot.rst @@ -0,0 +1,32 @@ +-------------- + +hypot +^^^^^^^ + +Basis Function Combinator + +[sqr] ii + sqrt + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/id.md b/docs/yow/id.md new file mode 100644 index 0000000..0d36dcb --- /dev/null +++ b/docs/yow/id.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# id + +Basis Function Combinator + +The identity function. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/id.rst b/docs/yow/id.rst new file mode 100644 index 0000000..3400605 --- /dev/null +++ b/docs/yow/id.rst @@ -0,0 +1,32 @@ +-------------- + +id +^^^^ + +Basis Function Combinator + +The identity function. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/ifte.md b/docs/yow/ifte.md new file mode 100644 index 0000000..f32a82d --- /dev/null +++ b/docs/yow/ifte.md @@ -0,0 +1,39 @@ +------------------------------------------------------------------------ + +# ifte + +Basis Function Combinator + +If-Then-Else Combinator : + + ... [if] [then] [else] ifte + --------------------------------------------------- + ... [[else] [then]] [...] [if] infra select i + + + + + ... [if] [then] [else] ifte + ------------------------------------------------------- + ... [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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/ifte.rst b/docs/yow/ifte.rst new file mode 100644 index 0000000..f5f4e08 --- /dev/null +++ b/docs/yow/ifte.rst @@ -0,0 +1,50 @@ +-------------- + +ifte +^^^^^^ + +Basis Function Combinator + + +If-Then-Else Combinator +:: + + ... [if] [then] [else] ifte + --------------------------------------------------- + ... [[else] [then]] [...] [if] infra select i + + + + + ... [if] [then] [else] ifte + ------------------------------------------------------- + ... [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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/ii.md b/docs/yow/ii.md new file mode 100644 index 0000000..f7275cb --- /dev/null +++ b/docs/yow/ii.md @@ -0,0 +1,27 @@ +------------------------------------------------------------------------ + +# ii + +Basis Function Combinator + + ... a [Q] ii + ------------------ + ... Q a Q + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/ii.rst b/docs/yow/ii.rst new file mode 100644 index 0000000..1718aa6 --- /dev/null +++ b/docs/yow/ii.rst @@ -0,0 +1,39 @@ +-------------- + +ii +^^^^ + +Basis Function Combinator + + +:: + + ... a [Q] ii + ------------------ + ... Q a Q + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/infrst.md b/docs/yow/infrst.md new file mode 100644 index 0000000..c810640 --- /dev/null +++ b/docs/yow/infrst.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# infrst + +Basis Function Combinator + +infra first + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/infrst.rst b/docs/yow/infrst.rst new file mode 100644 index 0000000..502d2ad --- /dev/null +++ b/docs/yow/infrst.rst @@ -0,0 +1,32 @@ +-------------- + +infrst +^^^^^^^^ + +Basis Function Combinator + +infra first + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/inscribe.md b/docs/yow/inscribe.md new file mode 100644 index 0000000..a834c6e --- /dev/null +++ b/docs/yow/inscribe.md @@ -0,0 +1,29 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/inscribe.rst b/docs/yow/inscribe.rst new file mode 100644 index 0000000..d45c79d --- /dev/null +++ b/docs/yow/inscribe.rst @@ -0,0 +1,39 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/le.md b/docs/yow/le.md new file mode 100644 index 0000000..50ebbba --- /dev/null +++ b/docs/yow/le.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# le + +Basis Function Combinator + +Same as a \<= b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/le.rst b/docs/yow/le.rst new file mode 100644 index 0000000..bd0bb2a --- /dev/null +++ b/docs/yow/le.rst @@ -0,0 +1,32 @@ +-------------- + +le +^^^^ + +Basis Function Combinator + +Same as a <= b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/loop.md b/docs/yow/loop.md new file mode 100644 index 0000000..0a1ea57 --- /dev/null +++ b/docs/yow/loop.md @@ -0,0 +1,33 @@ +------------------------------------------------------------------------ + +# loop + +Basis Function Combinator + +Basic loop combinator. : + + ... True [Q] loop + ----------------------- + ... Q [Q] loop + + ... False [Q] loop + ------------------------ + ... + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/loop.rst b/docs/yow/loop.rst new file mode 100644 index 0000000..e62162e --- /dev/null +++ b/docs/yow/loop.rst @@ -0,0 +1,44 @@ +-------------- + +loop +^^^^^^ + +Basis Function Combinator + + +Basic loop combinator. +:: + + ... True [Q] loop + ----------------------- + ... Q [Q] loop + + ... False [Q] loop + ------------------------ + ... + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/lshift.md b/docs/yow/lshift.md new file mode 100644 index 0000000..a93f272 --- /dev/null +++ b/docs/yow/lshift.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# lshift + +Basis Function Combinator + +Same as a \<\< b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/lshift.rst b/docs/yow/lshift.rst new file mode 100644 index 0000000..676c0cd --- /dev/null +++ b/docs/yow/lshift.rst @@ -0,0 +1,32 @@ +-------------- + +lshift +^^^^^^^^ + +Basis Function Combinator + +Same as a << b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/lt.md b/docs/yow/lt.md new file mode 100644 index 0000000..b1c3fc2 --- /dev/null +++ b/docs/yow/lt.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# lt + +Basis Function Combinator + +Same as a \< b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/lt.rst b/docs/yow/lt.rst new file mode 100644 index 0000000..07455f7 --- /dev/null +++ b/docs/yow/lt.rst @@ -0,0 +1,32 @@ +-------------- + +lt +^^^^ + +Basis Function Combinator + +Same as a < b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/make_generator.md b/docs/yow/make_generator.md new file mode 100644 index 0000000..8b32468 --- /dev/null +++ b/docs/yow/make_generator.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# make_generator + +Basis Function Combinator + +\[codireco\] ccons + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/make_generator.rst b/docs/yow/make_generator.rst new file mode 100644 index 0000000..bfa998a --- /dev/null +++ b/docs/yow/make_generator.rst @@ -0,0 +1,32 @@ +-------------- + +make_generator +^^^^^^^^^^^^^^^^ + +Basis Function Combinator + +[codireco] ccons + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/map.md b/docs/yow/map.md new file mode 100644 index 0000000..88939c6 --- /dev/null +++ b/docs/yow/map.md @@ -0,0 +1,26 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/map.rst b/docs/yow/map.rst new file mode 100644 index 0000000..8c8dbd6 --- /dev/null +++ b/docs/yow/map.rst @@ -0,0 +1,35 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/max.md b/docs/yow/max.md new file mode 100644 index 0000000..e7915fa --- /dev/null +++ b/docs/yow/max.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# max + +Basis Function Combinator + +Given a list find the maximum. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/max.rst b/docs/yow/max.rst new file mode 100644 index 0000000..ad5a8f7 --- /dev/null +++ b/docs/yow/max.rst @@ -0,0 +1,32 @@ +-------------- + +max +^^^^^ + +Basis Function Combinator + +Given a list find the maximum. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/min.md b/docs/yow/min.md new file mode 100644 index 0000000..4794598 --- /dev/null +++ b/docs/yow/min.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# min + +Basis Function Combinator + +Given a list find the minimum. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/min.rst b/docs/yow/min.rst new file mode 100644 index 0000000..5fe4927 --- /dev/null +++ b/docs/yow/min.rst @@ -0,0 +1,32 @@ +-------------- + +min +^^^^^ + +Basis Function Combinator + +Given a list find the minimum. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/mod.md b/docs/yow/mod.md new file mode 100644 index 0000000..d4070bb --- /dev/null +++ b/docs/yow/mod.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# mod + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/mod.rst b/docs/yow/mod.rst new file mode 100644 index 0000000..4b40e1e --- /dev/null +++ b/docs/yow/mod.rst @@ -0,0 +1,32 @@ +-------------- + +mod +^^^^^ + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/modulus.md b/docs/yow/modulus.md new file mode 100644 index 0000000..da9ad16 --- /dev/null +++ b/docs/yow/modulus.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# modulus + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/modulus.rst b/docs/yow/modulus.rst new file mode 100644 index 0000000..54bd517 --- /dev/null +++ b/docs/yow/modulus.rst @@ -0,0 +1,32 @@ +-------------- + +modulus +^^^^^^^^^ + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/mul.md b/docs/yow/mul.md new file mode 100644 index 0000000..8559b45 --- /dev/null +++ b/docs/yow/mul.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# mul + +Basis Function Combinator + +Same as a \* b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/mul.rst b/docs/yow/mul.rst new file mode 100644 index 0000000..bf8c44f --- /dev/null +++ b/docs/yow/mul.rst @@ -0,0 +1,32 @@ +-------------- + +mul +^^^^^ + +Basis Function Combinator + +Same as a * b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/ne.md b/docs/yow/ne.md new file mode 100644 index 0000000..ab692f6 --- /dev/null +++ b/docs/yow/ne.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# ne + +Basis Function Combinator + +Same as a != b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/ne.rst b/docs/yow/ne.rst new file mode 100644 index 0000000..82bc671 --- /dev/null +++ b/docs/yow/ne.rst @@ -0,0 +1,32 @@ +-------------- + +ne +^^^^ + +Basis Function Combinator + +Same as a != b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/neg.md b/docs/yow/neg.md new file mode 100644 index 0000000..88e4439 --- /dev/null +++ b/docs/yow/neg.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# neg + +Basis Function Combinator + +Same as -a. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/neg.rst b/docs/yow/neg.rst new file mode 100644 index 0000000..65f1224 --- /dev/null +++ b/docs/yow/neg.rst @@ -0,0 +1,32 @@ +-------------- + +neg +^^^^^ + +Basis Function Combinator + +Same as -a. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/not.md b/docs/yow/not.md new file mode 100644 index 0000000..72299a5 --- /dev/null +++ b/docs/yow/not.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# not + +Basis Function Combinator + +Same as not a. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/not.rst b/docs/yow/not.rst new file mode 100644 index 0000000..fd6a293 --- /dev/null +++ b/docs/yow/not.rst @@ -0,0 +1,32 @@ +-------------- + +not +^^^^^ + +Basis Function Combinator + +Same as not a. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/nulco.md b/docs/yow/nulco.md new file mode 100644 index 0000000..49559bf --- /dev/null +++ b/docs/yow/nulco.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# nulco + +Basis Function Combinator + +\[nullary\] cons + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/nulco.rst b/docs/yow/nulco.rst new file mode 100644 index 0000000..a3222dc --- /dev/null +++ b/docs/yow/nulco.rst @@ -0,0 +1,32 @@ +-------------- + +nulco +^^^^^^^ + +Basis Function Combinator + +[nullary] cons + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/of.md b/docs/yow/of.md new file mode 100644 index 0000000..db0a969 --- /dev/null +++ b/docs/yow/of.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# of + +Basis Function Combinator + +swap at + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/of.rst b/docs/yow/of.rst new file mode 100644 index 0000000..5e3eb01 --- /dev/null +++ b/docs/yow/of.rst @@ -0,0 +1,32 @@ +-------------- + +of +^^^^ + +Basis Function Combinator + +swap at + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/or.md b/docs/yow/or.md new file mode 100644 index 0000000..889e6bd --- /dev/null +++ b/docs/yow/or.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# or + +Basis Function Combinator + +Same as a \| b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/or.rst b/docs/yow/or.rst new file mode 100644 index 0000000..315091c --- /dev/null +++ b/docs/yow/or.rst @@ -0,0 +1,32 @@ +-------------- + +or +^^^^ + +Basis Function Combinator + +Same as a | b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/over.md b/docs/yow/over.md new file mode 100644 index 0000000..5b9fc5a --- /dev/null +++ b/docs/yow/over.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# over + +Basis Function Combinator + + (a2 a1 -- a2 a1 a2) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/over.rst b/docs/yow/over.rst new file mode 100644 index 0000000..b3c6d5a --- /dev/null +++ b/docs/yow/over.rst @@ -0,0 +1,37 @@ +-------------- + +over +^^^^^^ + +Basis Function Combinator + + +:: + + (a2 a1 -- a2 a1 a2) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/pam.md b/docs/yow/pam.md new file mode 100644 index 0000000..86f00a7 --- /dev/null +++ b/docs/yow/pam.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# pam + +Basis Function Combinator + +\[i\] map + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/pam.rst b/docs/yow/pam.rst new file mode 100644 index 0000000..5888ff0 --- /dev/null +++ b/docs/yow/pam.rst @@ -0,0 +1,32 @@ +-------------- + +pam +^^^^^ + +Basis Function Combinator + +[i] map + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/pick.md b/docs/yow/pick.md new file mode 100644 index 0000000..1720b26 --- /dev/null +++ b/docs/yow/pick.md @@ -0,0 +1,32 @@ +------------------------------------------------------------------------ + +# 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 + +## Crosslinks diff --git a/docs/yow/pick.rst b/docs/yow/pick.rst new file mode 100644 index 0000000..17ecc03 --- /dev/null +++ b/docs/yow/pick.rst @@ -0,0 +1,45 @@ +-------------- + +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 +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/pm.md b/docs/yow/pm.md new file mode 100644 index 0000000..2732f18 --- /dev/null +++ b/docs/yow/pm.md @@ -0,0 +1,29 @@ +------------------------------------------------------------------------ + +# pm + +Basis Function Combinator + +Plus or minus : + + a b pm + ------------- + a+b a-b + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/pm.rst b/docs/yow/pm.rst new file mode 100644 index 0000000..c2a11ae --- /dev/null +++ b/docs/yow/pm.rst @@ -0,0 +1,40 @@ +-------------- + +pm +^^^^ + +Basis Function Combinator + + +Plus or minus +:: + + a b pm + ------------- + a+b a-b + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/pop.md b/docs/yow/pop.md new file mode 100644 index 0000000..2ac5fab --- /dev/null +++ b/docs/yow/pop.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# pop + +Basis Function Combinator + + (a1 --) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/pop.rst b/docs/yow/pop.rst new file mode 100644 index 0000000..56b23b0 --- /dev/null +++ b/docs/yow/pop.rst @@ -0,0 +1,37 @@ +-------------- + +pop +^^^^^ + +Basis Function Combinator + + +:: + + (a1 --) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/popd.md b/docs/yow/popd.md new file mode 100644 index 0000000..292c142 --- /dev/null +++ b/docs/yow/popd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# popd + +Basis Function Combinator + + (a2 a1 -- a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/popd.rst b/docs/yow/popd.rst new file mode 100644 index 0000000..eb86b6b --- /dev/null +++ b/docs/yow/popd.rst @@ -0,0 +1,37 @@ +-------------- + +popd +^^^^^^ + +Basis Function Combinator + + +:: + + (a2 a1 -- a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/popdd.md b/docs/yow/popdd.md new file mode 100644 index 0000000..8949328 --- /dev/null +++ b/docs/yow/popdd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# popdd + +Basis Function Combinator + + (a3 a2 a1 -- a2 a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/popdd.rst b/docs/yow/popdd.rst new file mode 100644 index 0000000..47ca3cc --- /dev/null +++ b/docs/yow/popdd.rst @@ -0,0 +1,37 @@ +-------------- + +popdd +^^^^^^^ + +Basis Function Combinator + + +:: + + (a3 a2 a1 -- a2 a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/popop.md b/docs/yow/popop.md new file mode 100644 index 0000000..347e319 --- /dev/null +++ b/docs/yow/popop.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# popop + +Basis Function Combinator + + (a2 a1 --) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/popop.rst b/docs/yow/popop.rst new file mode 100644 index 0000000..7b4e9d9 --- /dev/null +++ b/docs/yow/popop.rst @@ -0,0 +1,37 @@ +-------------- + +popop +^^^^^^^ + +Basis Function Combinator + + +:: + + (a2 a1 --) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/popopd.md b/docs/yow/popopd.md new file mode 100644 index 0000000..852120e --- /dev/null +++ b/docs/yow/popopd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# popopd + +Basis Function Combinator + + (a3 a2 a1 -- a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/popopd.rst b/docs/yow/popopd.rst new file mode 100644 index 0000000..2511721 --- /dev/null +++ b/docs/yow/popopd.rst @@ -0,0 +1,37 @@ +-------------- + +popopd +^^^^^^^^ + +Basis Function Combinator + + +:: + + (a3 a2 a1 -- a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/popopdd.md b/docs/yow/popopdd.md new file mode 100644 index 0000000..11cbfa9 --- /dev/null +++ b/docs/yow/popopdd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# popopdd + +Basis Function Combinator + + (a4 a3 a2 a1 -- a2 a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/popopdd.rst b/docs/yow/popopdd.rst new file mode 100644 index 0000000..90fca1e --- /dev/null +++ b/docs/yow/popopdd.rst @@ -0,0 +1,37 @@ +-------------- + +popopdd +^^^^^^^^^ + +Basis Function Combinator + + +:: + + (a4 a3 a2 a1 -- a2 a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/popopop.md b/docs/yow/popopop.md new file mode 100644 index 0000000..3bce95f --- /dev/null +++ b/docs/yow/popopop.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# popopop + +Basis Function Combinator + +pop popop + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/popopop.rst b/docs/yow/popopop.rst new file mode 100644 index 0000000..379630e --- /dev/null +++ b/docs/yow/popopop.rst @@ -0,0 +1,32 @@ +-------------- + +popopop +^^^^^^^^^ + +Basis Function Combinator + +pop popop + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/pow.md b/docs/yow/pow.md new file mode 100644 index 0000000..bb6cfa2 --- /dev/null +++ b/docs/yow/pow.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# pow + +Basis Function Combinator + +Same as a \*\* b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/pow.rst b/docs/yow/pow.rst new file mode 100644 index 0000000..1fb0837 --- /dev/null +++ b/docs/yow/pow.rst @@ -0,0 +1,32 @@ +-------------- + +pow +^^^^^ + +Basis Function Combinator + +Same as a ** b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/pred.md b/docs/yow/pred.md new file mode 100644 index 0000000..2471464 --- /dev/null +++ b/docs/yow/pred.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# pred + +Basis Function Combinator + +Decrement TOS. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/pred.rst b/docs/yow/pred.rst new file mode 100644 index 0000000..ca5d1ed --- /dev/null +++ b/docs/yow/pred.rst @@ -0,0 +1,32 @@ +-------------- + +pred +^^^^^^ + +Basis Function Combinator + +Decrement TOS. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/primrec.md b/docs/yow/primrec.md new file mode 100644 index 0000000..2ab32d5 --- /dev/null +++ b/docs/yow/primrec.md @@ -0,0 +1,52 @@ +------------------------------------------------------------------------ + +# 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.: + + 5 [1] [*] primrec + +\> Then primrec tests whether the top element on the stack (initially +the 5) is equal to zero. If it is, it pops it off and executes one of +the quotations, the \[1\] which leaves 1 on the stack as the result. +Otherwise it pushes a decremented copy of the top element and recurses. +On the way back from the recursion it uses the other quotation, \[\*\], +to multiply what is now a factorial on top of the stack by the second +element on the stack.: + + n [Base] [Recur] primrec + + 0 [Base] [Recur] primrec + ------------------------------ + Base + + n [Base] [Recur] primrec + ------------------------------------------ n > 0 + n (n-1) [Base] [Recur] primrec Recur + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/primrec.rst b/docs/yow/primrec.rst new file mode 100644 index 0000000..2431541 --- /dev/null +++ b/docs/yow/primrec.rst @@ -0,0 +1,62 @@ +-------------- + +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.:: + + 5 [1] [*] primrec + +> Then primrec tests whether the top element on the stack (initially +the 5) is equal to zero. If it is, it pops it off and executes one of +the quotations, the [1] which leaves 1 on the stack as the result. +Otherwise it pushes a decremented copy of the top element and +recurses. On the way back from the recursion it uses the other +quotation, [*], to multiply what is now a factorial on top of the +stack by the second element on the stack.:: + + n [Base] [Recur] primrec + + 0 [Base] [Recur] primrec + ------------------------------ + Base + + n [Base] [Recur] primrec + ------------------------------------------ n > 0 + n (n-1) [Base] [Recur] primrec Recur + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/product.md b/docs/yow/product.md new file mode 100644 index 0000000..fc30d5d --- /dev/null +++ b/docs/yow/product.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# product + +Basis Function Combinator + +1 swap \[\*\] step + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/product.rst b/docs/yow/product.rst new file mode 100644 index 0000000..3a84372 --- /dev/null +++ b/docs/yow/product.rst @@ -0,0 +1,32 @@ +-------------- + +product +^^^^^^^^^ + +Basis Function Combinator + +1 swap [*] step + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/quoted.md b/docs/yow/quoted.md new file mode 100644 index 0000000..e74e9ee --- /dev/null +++ b/docs/yow/quoted.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# quoted + +Basis Function Combinator + +\[unit\] dip + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/quoted.rst b/docs/yow/quoted.rst new file mode 100644 index 0000000..e0e3c07 --- /dev/null +++ b/docs/yow/quoted.rst @@ -0,0 +1,32 @@ +-------------- + +quoted +^^^^^^^^ + +Basis Function Combinator + +[unit] dip + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/range.md b/docs/yow/range.md new file mode 100644 index 0000000..05199b2 --- /dev/null +++ b/docs/yow/range.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# range + +Basis Function Combinator + +\[0 \<=\] \[1 - dup\] anamorphism + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/range.rst b/docs/yow/range.rst new file mode 100644 index 0000000..19860e5 --- /dev/null +++ b/docs/yow/range.rst @@ -0,0 +1,32 @@ +-------------- + +range +^^^^^^^ + +Basis Function Combinator + +[0 <=] [1 - dup] anamorphism + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/range_to_zero.md b/docs/yow/range_to_zero.md new file mode 100644 index 0000000..a329ae4 --- /dev/null +++ b/docs/yow/range_to_zero.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# range_to_zero + +Basis Function Combinator + +unit \[down_to_zero\] infra + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/range_to_zero.rst b/docs/yow/range_to_zero.rst new file mode 100644 index 0000000..593aaef --- /dev/null +++ b/docs/yow/range_to_zero.rst @@ -0,0 +1,32 @@ +-------------- + +range_to_zero +^^^^^^^^^^^^^^^ + +Basis Function Combinator + +unit [down_to_zero] infra + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/reco.md b/docs/yow/reco.md new file mode 100644 index 0000000..ffcd4ba --- /dev/null +++ b/docs/yow/reco.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# reco + +Basis Function Combinator + +rest cons + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/reco.rst b/docs/yow/reco.rst new file mode 100644 index 0000000..b216b7f --- /dev/null +++ b/docs/yow/reco.rst @@ -0,0 +1,32 @@ +-------------- + +reco +^^^^^^ + +Basis Function Combinator + +rest cons + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/rem.md b/docs/yow/rem.md new file mode 100644 index 0000000..2281ff2 --- /dev/null +++ b/docs/yow/rem.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# rem + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/rem.rst b/docs/yow/rem.rst new file mode 100644 index 0000000..09f567e --- /dev/null +++ b/docs/yow/rem.rst @@ -0,0 +1,32 @@ +-------------- + +rem +^^^^^ + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/remainder.md b/docs/yow/remainder.md new file mode 100644 index 0000000..8804f47 --- /dev/null +++ b/docs/yow/remainder.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# remainder + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/remainder.rst b/docs/yow/remainder.rst new file mode 100644 index 0000000..f8c6314 --- /dev/null +++ b/docs/yow/remainder.rst @@ -0,0 +1,32 @@ +-------------- + +remainder +^^^^^^^^^^^ + +Basis Function Combinator + +Same as a % b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/remove.md b/docs/yow/remove.md new file mode 100644 index 0000000..04c2d76 --- /dev/null +++ b/docs/yow/remove.md @@ -0,0 +1,31 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/remove.rst b/docs/yow/remove.rst new file mode 100644 index 0000000..470bb1e --- /dev/null +++ b/docs/yow/remove.rst @@ -0,0 +1,42 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/rest.md b/docs/yow/rest.md new file mode 100644 index 0000000..c6f9c59 --- /dev/null +++ b/docs/yow/rest.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# rest + +Basis Function Combinator + + ([a1 ...0] -- [...0]) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/rest.rst b/docs/yow/rest.rst new file mode 100644 index 0000000..9259ec3 --- /dev/null +++ b/docs/yow/rest.rst @@ -0,0 +1,37 @@ +-------------- + +rest +^^^^^^ + +Basis Function Combinator + + +:: + + ([a1 ...0] -- [...0]) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/reverse.md b/docs/yow/reverse.md new file mode 100644 index 0000000..f1fd095 --- /dev/null +++ b/docs/yow/reverse.md @@ -0,0 +1,27 @@ +------------------------------------------------------------------------ + +# reverse + +Basis Function Combinator + +Reverse the list on the top of the stack. : + + reverse == [] swap shunt + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/reverse.rst b/docs/yow/reverse.rst new file mode 100644 index 0000000..3e0f5b5 --- /dev/null +++ b/docs/yow/reverse.rst @@ -0,0 +1,37 @@ +-------------- + +reverse +^^^^^^^^^ + +Basis Function Combinator + + +Reverse the list on the top of the stack. +:: + + reverse == [] swap shunt + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/rolldown.md b/docs/yow/rolldown.md new file mode 100644 index 0000000..4f62cfc --- /dev/null +++ b/docs/yow/rolldown.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# rolldown + +Basis Function Combinator + + (a1 a2 a3 -- a2 a3 a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/rolldown.rst b/docs/yow/rolldown.rst new file mode 100644 index 0000000..1ac549a --- /dev/null +++ b/docs/yow/rolldown.rst @@ -0,0 +1,37 @@ +-------------- + +rolldown +^^^^^^^^^^ + +Basis Function Combinator + + +:: + + (a1 a2 a3 -- a2 a3 a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/rollup.md b/docs/yow/rollup.md new file mode 100644 index 0000000..87de650 --- /dev/null +++ b/docs/yow/rollup.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# rollup + +Basis Function Combinator + + (a1 a2 a3 -- a3 a1 a2) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/rollup.rst b/docs/yow/rollup.rst new file mode 100644 index 0000000..108314d --- /dev/null +++ b/docs/yow/rollup.rst @@ -0,0 +1,37 @@ +-------------- + +rollup +^^^^^^^^ + +Basis Function Combinator + + +:: + + (a1 a2 a3 -- a3 a1 a2) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/roll•GREATER-THAN-SIGN.md b/docs/yow/roll•GREATER-THAN-SIGN.md new file mode 100644 index 0000000..be80087 --- /dev/null +++ b/docs/yow/roll•GREATER-THAN-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# roll> + +Basis Function Combinator + + (a1 a2 a3 -- a3 a1 a2) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/roll•GREATER-THAN-SIGN.rst b/docs/yow/roll•GREATER-THAN-SIGN.rst new file mode 100644 index 0000000..6262cfa --- /dev/null +++ b/docs/yow/roll•GREATER-THAN-SIGN.rst @@ -0,0 +1,37 @@ +-------------- + +roll> +^^^^^^^ + +Basis Function Combinator + + +:: + + (a1 a2 a3 -- a3 a1 a2) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/roll•LESS-THAN-SIGN.md b/docs/yow/roll•LESS-THAN-SIGN.md new file mode 100644 index 0000000..218ba6b --- /dev/null +++ b/docs/yow/roll•LESS-THAN-SIGN.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# roll\< + +Basis Function Combinator + + (a1 a2 a3 -- a2 a3 a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/roll•LESS-THAN-SIGN.rst b/docs/yow/roll•LESS-THAN-SIGN.rst new file mode 100644 index 0000000..a00033b --- /dev/null +++ b/docs/yow/roll•LESS-THAN-SIGN.rst @@ -0,0 +1,37 @@ +-------------- + +roll< +^^^^^^^ + +Basis Function Combinator + + +:: + + (a1 a2 a3 -- a2 a3 a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/round.md b/docs/yow/round.md new file mode 100644 index 0000000..4fa40da --- /dev/null +++ b/docs/yow/round.md @@ -0,0 +1,29 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/round.rst b/docs/yow/round.rst new file mode 100644 index 0000000..05cc07f --- /dev/null +++ b/docs/yow/round.rst @@ -0,0 +1,35 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/rrest.md b/docs/yow/rrest.md new file mode 100644 index 0000000..ebe204c --- /dev/null +++ b/docs/yow/rrest.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# rrest + +Basis Function Combinator + + ([a1 a2 ...1] -- [...1]) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/rrest.rst b/docs/yow/rrest.rst new file mode 100644 index 0000000..7cf4bb0 --- /dev/null +++ b/docs/yow/rrest.rst @@ -0,0 +1,37 @@ +-------------- + +rrest +^^^^^^^ + +Basis Function Combinator + + +:: + + ([a1 a2 ...1] -- [...1]) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/rshift.md b/docs/yow/rshift.md new file mode 100644 index 0000000..18a912d --- /dev/null +++ b/docs/yow/rshift.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# rshift + +Basis Function Combinator + +Same as a \>\> b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/rshift.rst b/docs/yow/rshift.rst new file mode 100644 index 0000000..d5c731b --- /dev/null +++ b/docs/yow/rshift.rst @@ -0,0 +1,32 @@ +-------------- + +rshift +^^^^^^^^ + +Basis Function Combinator + +Same as a >> b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/run.md b/docs/yow/run.md new file mode 100644 index 0000000..2387fa6 --- /dev/null +++ b/docs/yow/run.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# run + +Basis Function Combinator + +\<{} infra + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/run.rst b/docs/yow/run.rst new file mode 100644 index 0000000..95c7672 --- /dev/null +++ b/docs/yow/run.rst @@ -0,0 +1,32 @@ +-------------- + +run +^^^^^ + +Basis Function Combinator + +<{} infra + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/second.md b/docs/yow/second.md new file mode 100644 index 0000000..458b65d --- /dev/null +++ b/docs/yow/second.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# second + +Basis Function Combinator + + ([a1 a2 ...1] -- a2) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/second.rst b/docs/yow/second.rst new file mode 100644 index 0000000..715e9dc --- /dev/null +++ b/docs/yow/second.rst @@ -0,0 +1,37 @@ +-------------- + +second +^^^^^^^^ + +Basis Function Combinator + + +:: + + ([a1 a2 ...1] -- a2) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/select.md b/docs/yow/select.md new file mode 100644 index 0000000..9224ca8 --- /dev/null +++ b/docs/yow/select.md @@ -0,0 +1,38 @@ +------------------------------------------------------------------------ + +# select + +Basis Function Combinator + +Use a Boolean value to select one of two items from a sequence. : + + [A B] false select + ------------------------ + A + + + [A B] true select + ----------------------- + 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/select.rst b/docs/yow/select.rst new file mode 100644 index 0000000..21f7486 --- /dev/null +++ b/docs/yow/select.rst @@ -0,0 +1,48 @@ +-------------- + +select +^^^^^^^^ + +Basis Function Combinator + + +Use a Boolean value to select one of two items from a sequence. +:: + + [A B] false select + ------------------------ + A + + + [A B] true select + ----------------------- + 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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/sharing.md b/docs/yow/sharing.md new file mode 100644 index 0000000..6a1ec79 --- /dev/null +++ b/docs/yow/sharing.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# sharing + +Basis Function Combinator + +Print redistribution information. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/sharing.rst b/docs/yow/sharing.rst new file mode 100644 index 0000000..9471a49 --- /dev/null +++ b/docs/yow/sharing.rst @@ -0,0 +1,32 @@ +-------------- + +sharing +^^^^^^^^^ + +Basis Function Combinator + +Print redistribution information. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/shift.md b/docs/yow/shift.md new file mode 100644 index 0000000..cc229cc --- /dev/null +++ b/docs/yow/shift.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# shift + +Basis Function Combinator + +uncons \[swons\] dip + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/shift.rst b/docs/yow/shift.rst new file mode 100644 index 0000000..9681d0f --- /dev/null +++ b/docs/yow/shift.rst @@ -0,0 +1,32 @@ +-------------- + +shift +^^^^^^^ + +Basis Function Combinator + +uncons [swons] dip + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/shunt.md b/docs/yow/shunt.md new file mode 100644 index 0000000..7e41b30 --- /dev/null +++ b/docs/yow/shunt.md @@ -0,0 +1,31 @@ +------------------------------------------------------------------------ + +# shunt + +Basis Function Combinator + +Like concat but reverses the top list into the second. : + + shunt == [swons] step == reverse swap concat + + [a b c] [d e f] shunt + --------------------------- + [f e d a b c] + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/shunt.rst b/docs/yow/shunt.rst new file mode 100644 index 0000000..8e7921d --- /dev/null +++ b/docs/yow/shunt.rst @@ -0,0 +1,42 @@ +-------------- + +shunt +^^^^^^^ + +Basis Function Combinator + + +Like concat but reverses the top list into the second. +:: + + shunt == [swons] step == reverse swap concat + + [a b c] [d e f] shunt + --------------------------- + [f e d a b c] + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/size.md b/docs/yow/size.md new file mode 100644 index 0000000..69c5a95 --- /dev/null +++ b/docs/yow/size.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# size + +Basis Function Combinator + +\[pop ++\] step_zero + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/size.rst b/docs/yow/size.rst new file mode 100644 index 0000000..09ae1e3 --- /dev/null +++ b/docs/yow/size.rst @@ -0,0 +1,32 @@ +-------------- + +size +^^^^^^ + +Basis Function Combinator + +[pop ++] step_zero + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/sort.md b/docs/yow/sort.md new file mode 100644 index 0000000..e758e1e --- /dev/null +++ b/docs/yow/sort.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# sort + +Basis Function Combinator + +Given a list return it sorted. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/sort.rst b/docs/yow/sort.rst new file mode 100644 index 0000000..1c680ee --- /dev/null +++ b/docs/yow/sort.rst @@ -0,0 +1,32 @@ +-------------- + +sort +^^^^^^ + +Basis Function Combinator + +Given a list return it sorted. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/spiral_next.md b/docs/yow/spiral_next.md new file mode 100644 index 0000000..30653d3 --- /dev/null +++ b/docs/yow/spiral_next.md @@ -0,0 +1,27 @@ +------------------------------------------------------------------------ + +# spiral_next + +Basis Function Combinator + +\[\[\[abs\] ii \<=\] \[\[\<\>\] \[pop !-\] \|\|\] &&\] \[\[!-\] +\[\[++\]\] \[\[\--\]\] ifte dip\] \[\[pop !-\] \[\--\] \[++\] ifte\] +ifte + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/spiral_next.rst b/docs/yow/spiral_next.rst new file mode 100644 index 0000000..982efa9 --- /dev/null +++ b/docs/yow/spiral_next.rst @@ -0,0 +1,32 @@ +-------------- + +spiral_next +^^^^^^^^^^^^^ + +Basis Function Combinator + +[[[abs] ii <=] [[<>] [pop !-] ||] &&] [[!-] [[++]] [[--]] ifte dip] [[pop !-] [--] [++] ifte] ifte + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/split_at.md b/docs/yow/split_at.md new file mode 100644 index 0000000..b12cc7e --- /dev/null +++ b/docs/yow/split_at.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# split_at + +Basis Function Combinator + +\[drop\] \[take\] clop + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/split_at.rst b/docs/yow/split_at.rst new file mode 100644 index 0000000..b0e12ef --- /dev/null +++ b/docs/yow/split_at.rst @@ -0,0 +1,32 @@ +-------------- + +split_at +^^^^^^^^^^ + +Basis Function Combinator + +[drop] [take] clop + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/split_list.md b/docs/yow/split_list.md new file mode 100644 index 0000000..18e63e5 --- /dev/null +++ b/docs/yow/split_list.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# split_list + +Basis Function Combinator + +\[take reverse\] \[drop\] clop + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/split_list.rst b/docs/yow/split_list.rst new file mode 100644 index 0000000..67b10da --- /dev/null +++ b/docs/yow/split_list.rst @@ -0,0 +1,32 @@ +-------------- + +split_list +^^^^^^^^^^^^ + +Basis Function Combinator + +[take reverse] [drop] clop + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/sqr.md b/docs/yow/sqr.md new file mode 100644 index 0000000..fb14bc4 --- /dev/null +++ b/docs/yow/sqr.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# sqr + +Basis Function Combinator + +dup \* + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/sqr.rst b/docs/yow/sqr.rst new file mode 100644 index 0000000..dfca0cd --- /dev/null +++ b/docs/yow/sqr.rst @@ -0,0 +1,32 @@ +-------------- + +sqr +^^^^^ + +Basis Function Combinator + +dup * + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/sqrt.md b/docs/yow/sqrt.md new file mode 100644 index 0000000..5b49ec2 --- /dev/null +++ b/docs/yow/sqrt.md @@ -0,0 +1,26 @@ +------------------------------------------------------------------------ + +# sqrt + +Basis Function Combinator + +Return the square root of the number a. Negative numbers return complex +roots. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/sqrt.rst b/docs/yow/sqrt.rst new file mode 100644 index 0000000..9c377e4 --- /dev/null +++ b/docs/yow/sqrt.rst @@ -0,0 +1,35 @@ +-------------- + +sqrt +^^^^^^ + +Basis Function Combinator + + +Return the square root of the number a. +Negative numbers return complex roots. + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/stack.md b/docs/yow/stack.md new file mode 100644 index 0000000..1500fae --- /dev/null +++ b/docs/yow/stack.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# stack + +Basis Function Combinator + + (... -- ... [...]) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/stack.rst b/docs/yow/stack.rst new file mode 100644 index 0000000..0c9b7d2 --- /dev/null +++ b/docs/yow/stack.rst @@ -0,0 +1,37 @@ +-------------- + +stack +^^^^^^^ + +Basis Function Combinator + + +:: + + (... -- ... [...]) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/stackd.md b/docs/yow/stackd.md new file mode 100644 index 0000000..522bfca --- /dev/null +++ b/docs/yow/stackd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# stackd + +Basis Function Combinator + +\[stack\] dip + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/stackd.rst b/docs/yow/stackd.rst new file mode 100644 index 0000000..9baad5b --- /dev/null +++ b/docs/yow/stackd.rst @@ -0,0 +1,32 @@ +-------------- + +stackd +^^^^^^^^ + +Basis Function Combinator + +[stack] dip + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/step.md b/docs/yow/step.md new file mode 100644 index 0000000..3d9c33d --- /dev/null +++ b/docs/yow/step.md @@ -0,0 +1,42 @@ +------------------------------------------------------------------------ + +# step + +Basis Function Combinator + +Run a quoted program on each item in a sequence. : + + ... [] [Q] . step + ----------------------- + ... . + + + ... [a] [Q] . step + ------------------------ + ... a . Q + + + ... [a b c] [Q] . step + ---------------------------------------- + ... 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/step.rst b/docs/yow/step.rst new file mode 100644 index 0000000..74e884c --- /dev/null +++ b/docs/yow/step.rst @@ -0,0 +1,52 @@ +-------------- + +step +^^^^^^ + +Basis Function Combinator + + +Run a quoted program on each item in a sequence. +:: + + ... [] [Q] . step + ----------------------- + ... . + + + ... [a] [Q] . step + ------------------------ + ... a . Q + + + ... [a b c] [Q] . step + ---------------------------------------- + ... 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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/step_zero.md b/docs/yow/step_zero.md new file mode 100644 index 0000000..77e6c3a --- /dev/null +++ b/docs/yow/step_zero.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# step_zero + +Basis Function Combinator + +0 roll> step + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/step_zero.rst b/docs/yow/step_zero.rst new file mode 100644 index 0000000..55e9659 --- /dev/null +++ b/docs/yow/step_zero.rst @@ -0,0 +1,32 @@ +-------------- + +step_zero +^^^^^^^^^^^ + +Basis Function Combinator + +0 roll> step + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/stuncons.md b/docs/yow/stuncons.md new file mode 100644 index 0000000..3304533 --- /dev/null +++ b/docs/yow/stuncons.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# stuncons + +Basis Function Combinator + + (... a1 -- ... a1 a1 [...]) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/stuncons.rst b/docs/yow/stuncons.rst new file mode 100644 index 0000000..d07db7e --- /dev/null +++ b/docs/yow/stuncons.rst @@ -0,0 +1,37 @@ +-------------- + +stuncons +^^^^^^^^^^ + +Basis Function Combinator + + +:: + + (... a1 -- ... a1 a1 [...]) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/stununcons.md b/docs/yow/stununcons.md new file mode 100644 index 0000000..1711232 --- /dev/null +++ b/docs/yow/stununcons.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# stununcons + +Basis Function Combinator + + (... a2 a1 -- ... a2 a1 a1 a2 [...]) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/stununcons.rst b/docs/yow/stununcons.rst new file mode 100644 index 0000000..43c1a62 --- /dev/null +++ b/docs/yow/stununcons.rst @@ -0,0 +1,37 @@ +-------------- + +stununcons +^^^^^^^^^^^^ + +Basis Function Combinator + + +:: + + (... a2 a1 -- ... a2 a1 a1 a2 [...]) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/sub.md b/docs/yow/sub.md new file mode 100644 index 0000000..2e11ce6 --- /dev/null +++ b/docs/yow/sub.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# sub + +Basis Function Combinator + +Same as a - b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/sub.rst b/docs/yow/sub.rst new file mode 100644 index 0000000..5e3978f --- /dev/null +++ b/docs/yow/sub.rst @@ -0,0 +1,32 @@ +-------------- + +sub +^^^^^ + +Basis Function Combinator + +Same as a - b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/succ.md b/docs/yow/succ.md new file mode 100644 index 0000000..f407c2a --- /dev/null +++ b/docs/yow/succ.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# succ + +Basis Function Combinator + +Increment TOS. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/succ.rst b/docs/yow/succ.rst new file mode 100644 index 0000000..ce7787d --- /dev/null +++ b/docs/yow/succ.rst @@ -0,0 +1,32 @@ +-------------- + +succ +^^^^^^ + +Basis Function Combinator + +Increment TOS. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/sum.md b/docs/yow/sum.md new file mode 100644 index 0000000..6ce2233 --- /dev/null +++ b/docs/yow/sum.md @@ -0,0 +1,27 @@ +------------------------------------------------------------------------ + +# sum + +Basis Function Combinator + +Given a quoted sequence of numbers return the sum. : + + sum == 0 swap [+] step + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/sum.rst b/docs/yow/sum.rst new file mode 100644 index 0000000..cfa0a5c --- /dev/null +++ b/docs/yow/sum.rst @@ -0,0 +1,38 @@ +-------------- + +sum +^^^^^ + +Basis Function Combinator + + +Given a quoted sequence of numbers return the sum. +:: + + sum == 0 swap [+] step + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/swaack.md b/docs/yow/swaack.md new file mode 100644 index 0000000..99401df --- /dev/null +++ b/docs/yow/swaack.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# swaack + +Basis Function Combinator + + ([...1] -- [...0]) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/swaack.rst b/docs/yow/swaack.rst new file mode 100644 index 0000000..c1732f8 --- /dev/null +++ b/docs/yow/swaack.rst @@ -0,0 +1,37 @@ +-------------- + +swaack +^^^^^^^^ + +Basis Function Combinator + + +:: + + ([...1] -- [...0]) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/swap.md b/docs/yow/swap.md new file mode 100644 index 0000000..e9b2b34 --- /dev/null +++ b/docs/yow/swap.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# swap + +Basis Function Combinator + + (a1 a2 -- a2 a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/swap.rst b/docs/yow/swap.rst new file mode 100644 index 0000000..dcd0996 --- /dev/null +++ b/docs/yow/swap.rst @@ -0,0 +1,37 @@ +-------------- + +swap +^^^^^^ + +Basis Function Combinator + + +:: + + (a1 a2 -- a2 a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/swapd.md b/docs/yow/swapd.md new file mode 100644 index 0000000..cc66848 --- /dev/null +++ b/docs/yow/swapd.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# swapd + +Basis Function Combinator + +\[swap\] dip + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/swapd.rst b/docs/yow/swapd.rst new file mode 100644 index 0000000..6a7867c --- /dev/null +++ b/docs/yow/swapd.rst @@ -0,0 +1,32 @@ +-------------- + +swapd +^^^^^^^ + +Basis Function Combinator + +[swap] dip + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/swoncat.md b/docs/yow/swoncat.md new file mode 100644 index 0000000..e571cea --- /dev/null +++ b/docs/yow/swoncat.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# swoncat + +Basis Function Combinator + +swap concat + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/swoncat.rst b/docs/yow/swoncat.rst new file mode 100644 index 0000000..56f0ce4 --- /dev/null +++ b/docs/yow/swoncat.rst @@ -0,0 +1,32 @@ +-------------- + +swoncat +^^^^^^^^^ + +Basis Function Combinator + +swap concat + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/swons.md b/docs/yow/swons.md new file mode 100644 index 0000000..1c235dc --- /dev/null +++ b/docs/yow/swons.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# swons + +Basis Function Combinator + + ([...1] a1 -- [a1 ...1]) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/swons.rst b/docs/yow/swons.rst new file mode 100644 index 0000000..5e9e910 --- /dev/null +++ b/docs/yow/swons.rst @@ -0,0 +1,37 @@ +-------------- + +swons +^^^^^^^ + +Basis Function Combinator + + +:: + + ([...1] a1 -- [a1 ...1]) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/tailrec.md b/docs/yow/tailrec.md new file mode 100644 index 0000000..c8b4b0e --- /dev/null +++ b/docs/yow/tailrec.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# tailrec + +Basis Function Combinator + +\[i\] genrec + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/tailrec.rst b/docs/yow/tailrec.rst new file mode 100644 index 0000000..c04f2ec --- /dev/null +++ b/docs/yow/tailrec.rst @@ -0,0 +1,32 @@ +-------------- + +tailrec +^^^^^^^^^ + +Basis Function Combinator + +[i] genrec + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/take.md b/docs/yow/take.md new file mode 100644 index 0000000..7df177a --- /dev/null +++ b/docs/yow/take.md @@ -0,0 +1,31 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/take.rst b/docs/yow/take.rst new file mode 100644 index 0000000..ffc93c8 --- /dev/null +++ b/docs/yow/take.rst @@ -0,0 +1,42 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/third.md b/docs/yow/third.md new file mode 100644 index 0000000..9907b94 --- /dev/null +++ b/docs/yow/third.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# third + +Basis Function Combinator + + ([a1 a2 a3 ...1] -- a3) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/third.rst b/docs/yow/third.rst new file mode 100644 index 0000000..ea934e3 --- /dev/null +++ b/docs/yow/third.rst @@ -0,0 +1,37 @@ +-------------- + +third +^^^^^^^ + +Basis Function Combinator + + +:: + + ([a1 a2 a3 ...1] -- a3) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/times.md b/docs/yow/times.md new file mode 100644 index 0000000..f4dd599 --- /dev/null +++ b/docs/yow/times.md @@ -0,0 +1,39 @@ +------------------------------------------------------------------------ + +# times + +Basis Function Combinator + +times == \[\-- dip\] cons \[swap\] infra \[0 \>\] swap while pop : + + ... n [Q] . times + --------------------- w/ n <= 0 + ... . + + + ... 1 [Q] . times + ----------------------- + ... . Q + + + ... n [Q] . times + ------------------------------------- w/ n > 1 + ... . Q (n - 1) [Q] times + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/times.rst b/docs/yow/times.rst new file mode 100644 index 0000000..e242dd2 --- /dev/null +++ b/docs/yow/times.rst @@ -0,0 +1,50 @@ +-------------- + +times +^^^^^^^ + +Basis Function Combinator + + +times == [-- dip] cons [swap] infra [0 >] swap while pop +:: + + ... n [Q] . times + --------------------- w/ n <= 0 + ... . + + + ... 1 [Q] . times + ----------------------- + ... . Q + + + ... n [Q] . times + ------------------------------------- w/ n > 1 + ... . Q (n - 1) [Q] times + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/truthy.md b/docs/yow/truthy.md new file mode 100644 index 0000000..b9b08bf --- /dev/null +++ b/docs/yow/truthy.md @@ -0,0 +1,29 @@ +------------------------------------------------------------------------ + +# 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 + +## Crosslinks diff --git a/docs/yow/truthy.rst b/docs/yow/truthy.rst new file mode 100644 index 0000000..3f9c5a3 --- /dev/null +++ b/docs/yow/truthy.rst @@ -0,0 +1,36 @@ +-------------- + +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 +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/tuck.md b/docs/yow/tuck.md new file mode 100644 index 0000000..e4c5056 --- /dev/null +++ b/docs/yow/tuck.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# tuck + +Basis Function Combinator + + (a2 a1 -- a1 a2 a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/tuck.rst b/docs/yow/tuck.rst new file mode 100644 index 0000000..21809f8 --- /dev/null +++ b/docs/yow/tuck.rst @@ -0,0 +1,37 @@ +-------------- + +tuck +^^^^^^ + +Basis Function Combinator + + +:: + + (a2 a1 -- a1 a2 a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/unique.md b/docs/yow/unique.md new file mode 100644 index 0000000..e650008 --- /dev/null +++ b/docs/yow/unique.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# unique + +Basis Function Combinator + +Given a list remove duplicate items. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/unique.rst b/docs/yow/unique.rst new file mode 100644 index 0000000..6e79d39 --- /dev/null +++ b/docs/yow/unique.rst @@ -0,0 +1,32 @@ +-------------- + +unique +^^^^^^^^ + +Basis Function Combinator + +Given a list remove duplicate items. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/unit.md b/docs/yow/unit.md new file mode 100644 index 0000000..162a700 --- /dev/null +++ b/docs/yow/unit.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# unit + +Basis Function Combinator + + (a1 -- [a1 ]) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/unit.rst b/docs/yow/unit.rst new file mode 100644 index 0000000..3a50136 --- /dev/null +++ b/docs/yow/unit.rst @@ -0,0 +1,37 @@ +-------------- + +unit +^^^^^^ + +Basis Function Combinator + + +:: + + (a1 -- [a1 ]) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/unquoted.md b/docs/yow/unquoted.md new file mode 100644 index 0000000..3b6203e --- /dev/null +++ b/docs/yow/unquoted.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# unquoted + +Basis Function Combinator + +\[i\] dip + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/unquoted.rst b/docs/yow/unquoted.rst new file mode 100644 index 0000000..4424428 --- /dev/null +++ b/docs/yow/unquoted.rst @@ -0,0 +1,32 @@ +-------------- + +unquoted +^^^^^^^^^^ + +Basis Function Combinator + +[i] dip + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/unswons.md b/docs/yow/unswons.md new file mode 100644 index 0000000..ff7f845 --- /dev/null +++ b/docs/yow/unswons.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# unswons + +Basis Function Combinator + + ([a1 ...1] -- [...1] a1) + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/unswons.rst b/docs/yow/unswons.rst new file mode 100644 index 0000000..ca8e6ed --- /dev/null +++ b/docs/yow/unswons.rst @@ -0,0 +1,37 @@ +-------------- + +unswons +^^^^^^^^^ + +Basis Function Combinator + + +:: + + ([a1 ...1] -- [...1] a1) + + + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/void.md b/docs/yow/void.md new file mode 100644 index 0000000..e4cf6ca --- /dev/null +++ b/docs/yow/void.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# void + +Basis Function Combinator + +True if the form on TOS is void otherwise False. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/void.rst b/docs/yow/void.rst new file mode 100644 index 0000000..047be45 --- /dev/null +++ b/docs/yow/void.rst @@ -0,0 +1,32 @@ +-------------- + +void +^^^^^^ + +Basis Function Combinator + +True if the form on TOS is void otherwise False. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/warranty.md b/docs/yow/warranty.md new file mode 100644 index 0000000..19a5fe2 --- /dev/null +++ b/docs/yow/warranty.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# warranty + +Basis Function Combinator + +Print warranty information. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/warranty.rst b/docs/yow/warranty.rst new file mode 100644 index 0000000..1c5ecc3 --- /dev/null +++ b/docs/yow/warranty.rst @@ -0,0 +1,32 @@ +-------------- + +warranty +^^^^^^^^^^ + +Basis Function Combinator + +Print warranty information. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/while.md b/docs/yow/while.md new file mode 100644 index 0000000..46bcda8 --- /dev/null +++ b/docs/yow/while.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# while + +Basis Function Combinator + +swap nulco dupdipd concat loop + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/while.rst b/docs/yow/while.rst new file mode 100644 index 0000000..410477a --- /dev/null +++ b/docs/yow/while.rst @@ -0,0 +1,32 @@ +-------------- + +while +^^^^^^^ + +Basis Function Combinator + +swap nulco dupdipd concat loop + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/words.md b/docs/yow/words.md new file mode 100644 index 0000000..c6c806b --- /dev/null +++ b/docs/yow/words.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# words + +Basis Function Combinator + +Print all the words in alphabetical order. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/words.rst b/docs/yow/words.rst new file mode 100644 index 0000000..af82a8f --- /dev/null +++ b/docs/yow/words.rst @@ -0,0 +1,32 @@ +-------------- + +words +^^^^^^^ + +Basis Function Combinator + +Print all the words in alphabetical order. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/xor.md b/docs/yow/xor.md new file mode 100644 index 0000000..9aa0275 --- /dev/null +++ b/docs/yow/xor.md @@ -0,0 +1,25 @@ +------------------------------------------------------------------------ + +# xor + +Basis Function Combinator + +Same as a \^ b. + +Gentzen diagram. + +## Definition + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/xor.rst b/docs/yow/xor.rst new file mode 100644 index 0000000..2184420 --- /dev/null +++ b/docs/yow/xor.rst @@ -0,0 +1,32 @@ +-------------- + +xor +^^^^^ + +Basis Function Combinator + +Same as a ^ b. + +Gentzen diagram. + +Definition +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ + diff --git a/docs/yow/zip.md b/docs/yow/zip.md new file mode 100644 index 0000000..daf36c5 --- /dev/null +++ b/docs/yow/zip.md @@ -0,0 +1,26 @@ +------------------------------------------------------------------------ + +# 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 + +if not basis. + +## Derivation + +if not basis. + +## Source + +if basis + +## Discussion + +## Crosslinks diff --git a/docs/yow/zip.rst b/docs/yow/zip.rst new file mode 100644 index 0000000..87c31e8 --- /dev/null +++ b/docs/yow/zip.rst @@ -0,0 +1,35 @@ +-------------- + +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 +~~~~~~~~~~ + +if not basis. + +Derivation +~~~~~~~~~~ + +if not basis. + +Source +~~~~~~~~~~ + +if basis + +Discussion +~~~~~~~~~~ + +Crosslinks +~~~~~~~~~~ +