From 1b1fe5f5bb328243fd1e080004e695cbabc44c14 Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Fri, 25 Mar 2022 14:46:56 -0700 Subject: [PATCH] The H's. --- docs/reference/help.md | 26 +- docs/reference/hypot.md | 23 +- docs/reference/mkref/FuncRef.html | 780 +++++++++++----------- docs/reference/mkref/Functor-Reference.md | 49 +- 4 files changed, 416 insertions(+), 462 deletions(-) diff --git a/docs/reference/help.md b/docs/reference/help.md index bacc176..d3e6534 100644 --- a/docs/reference/help.md +++ b/docs/reference/help.md @@ -2,28 +2,16 @@ ## help -Basis Function Combinator +Function -Accepts a quoted symbol on the top of the stack and prints its docs. +Accepts a quoted symbol on the top of the stack and prints its +documentation. -Gentzen diagram. - -### Definition - -if not basis. - -### Derivation - -if not basis. - -### Source - -if basis + [foo] help + ---------------- ### Discussion -Lorem ipsum. +Technically this is equivalent to `pop`, but it will only work if the +item on the top of the stack is a quoted symbol. -### Crosslinks - -Lorem ipsum. diff --git a/docs/reference/hypot.md b/docs/reference/hypot.md index 903d06f..4abcd23 100644 --- a/docs/reference/hypot.md +++ b/docs/reference/hypot.md @@ -2,28 +2,21 @@ ## hypot -Basis Function Combinator +Function -\[sqr\] ii + sqrt - -Gentzen diagram. + x y hypot + -------------------------- + sqrt(sqr(x) + sqr(y)) ### Definition -if not basis. - -### Derivation - -if not basis. - -### Source - -if basis +> \[[sqr]\] [ii] [+] [sqrt] ### Discussion -Lorem ipsum. +This is another function that has to wait on the numeric tower. ### Crosslinks -Lorem ipsum. +[sqrt] + diff --git a/docs/reference/mkref/FuncRef.html b/docs/reference/mkref/FuncRef.html index 10bcc6a..0d53cdc 100644 --- a/docs/reference/mkref/FuncRef.html +++ b/docs/reference/mkref/FuncRef.html @@ -1262,34 +1262,26 @@ a F a

cmp eq ge le lt ne

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

+

Function

+

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

+
   [foo] help
+----------------

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

Technically this is equivalent to pop, but it will only work if the item on the top of the stack is a quoted symbol.

hypot

-

Basis Function Combinator

-

[sqr] ii + sqrt

-

Gentzen diagram.

-

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

+

Function

+
         x y hypot
+--------------------------
+   sqrt(sqr(x) + sqr(y))
+

Definition

+
+

[sqr] ii + sqrt

+

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

This is another function that has to wait on the numeric tower.

+ +

sqrt

i

(Basis Combinator)

@@ -1297,7 +1289,7 @@ a F a 
   [Q] i
 -----------
     Q
-

Source

+

Source

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

Discussion

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

@@ -1306,15 +1298,15 @@ a F a

Basis Function Combinator

The identity function.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ifte

@@ -1332,15 +1324,15 @@ a F a ... [else] [then] [...] [if] infra first choice i

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ii

@@ -1349,15 +1341,15 @@ a F a ------------------ ... Q a Q

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

infra

@@ -1366,26 +1358,26 @@ a F a 
   ... [a b c] [Q] infra
 ---------------------------
     c b a Q [...] swaack
-

Definition

+

Definition

swons swaack [i] dip swaack

Discussion

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

- +

swaack

infrst

Basis Function Combinator

infra first

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

inscribe

@@ -1395,30 +1387,30 @@ a F a

[sqr dup mul] inscribe

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

le

Basis Function Combinator

Same as a <= b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

loop

@@ -1432,120 +1424,120 @@ a F a ------------------------ ...

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

lshift

Basis Function Combinator

Same as a << b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

lt

Basis Function Combinator

Same as a < b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

make_generator

Basis Function Combinator

[codireco] ccons

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

map

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

max

Basis Function Combinator

Given a list find the maximum.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

min

Basis Function Combinator

Given a list find the minimum.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

mod

Basis Function Combinator

Same as a % b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

modulus

@@ -1555,60 +1547,60 @@ a F a

Basis Function Combinator

Same as a * b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ne

Basis Function Combinator

Same as a != b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

neg

Basis Function Combinator

Same as -a.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

not

Basis Function Combinator

Same as not a.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

!-

@@ -1622,22 +1614,22 @@ a F a N !- ---------- N >= 0 true -

Definition

+

Definition

0 >=

nulco

Basis Function Combinator

[nullary] cons

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

nullary

@@ -1646,9 +1638,9 @@ a F a 
   ... [P] nullary
 ---------------------
         ... A
-

Definition

+

Definition

[stack] dip infra first
-

Derivation

+

Derivation

... [P] nullary
 ... [P] [stack] dip infra first
 ... stack [P] infra first
@@ -1657,67 +1649,67 @@ a F a
... A

Discussion

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

- +

unary binary ternary

of

Basis Function Combinator

swap at

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

or

Basis Function Combinator

Same as a | b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

over

Basis Function Combinator

(a2 a1 -- a2 a1 a2)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pam

Basis Function Combinator

[i] map

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pick

@@ -1730,150 +1722,150 @@ a F a ------------- a+b a-b

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pop

Basis Function Combinator

(a1 --)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popd

Basis Function Combinator

(a2 a1 -- a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popdd

Basis Function Combinator

(a3 a2 a1 -- a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popop

Basis Function Combinator

(a2 a1 --)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popopd

Basis Function Combinator

(a3 a2 a1 -- a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popopdd

Basis Function Combinator

(a4 a3 a2 a1 -- a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popopop

Basis Function Combinator

pop popop

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pow

Basis Function Combinator

Same as a ** b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pred

Basis Function Combinator

Decrement TOS.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

primrec

@@ -1892,90 +1884,90 @@ a+b a-b ------------------------------------------ n > 0 n (n-1) [Base] [Recur] primrec Recur

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

product

Basis Function Combinator

1 swap [*] step

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

quoted

Basis Function Combinator

[unit] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

range

Basis Function Combinator

[0 <=] [1 - dup] anamorphism

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

range_to_zero

Basis Function Combinator

unit [down_to_zero] infra

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

reco

Basis Function Combinator

rest cons

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rem

@@ -1991,30 +1983,30 @@ a+b a-b ------------------------ [2 3 1]

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rest

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

reverse

@@ -2022,45 +2014,45 @@ a+b a-b

Reverse the list on the top of the stack. :

reverse == [] swap shunt

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rolldown

Basis Function Combinator

(a1 a2 a3 -- a2 a3 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rollup

Basis Function Combinator

(a1 a2 a3 -- a3 a1 a2)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

roll>

@@ -2074,75 +2066,75 @@ a+b a-b

Round a number to a given precision in decimal digits.

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rrest

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rshift

Basis Function Combinator

Same as a >> b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

run

Basis Function Combinator

<{} infra

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

second

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

select

@@ -2158,45 +2150,45 @@ a+b a-b B

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sharing

Basis Function Combinator

Print redistribution information.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

shift

Basis Function Combinator

uncons [swons] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

shunt

@@ -2208,150 +2200,150 @@ a+b a-b --------------------------- [f e d a b c]

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

size

Basis Function Combinator

[pop ++] step_zero

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sort

Basis Function Combinator

Given a list return it sorted.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

spiral_next

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

split_at

Basis Function Combinator

[drop] [take] clop

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

split_list

Basis Function Combinator

[take reverse] [drop] clop

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sqr

Basis Function Combinator

dup *

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sqrt

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

stack

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

stackd

Basis Function Combinator

[stack] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

step

@@ -2372,90 +2364,90 @@ a+b a-b ... a . Q [b c] [Q] step

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

step_zero

Basis Function Combinator

0 roll> step

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

stuncons

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

stununcons

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sub

Basis Function Combinator

Same as a - b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

succ

Basis Function Combinator

Increment TOS.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sum

@@ -2463,105 +2455,105 @@ a+b a-b

Given a quoted sequence of numbers return the sum. :

sum == 0 swap [+] step

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swaack

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swap

Basis Function Combinator

(a1 a2 -- a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swapd

Basis Function Combinator

[swap] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swoncat

Basis Function Combinator

swap concat

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swons

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

tailrec

Basis Function Combinator

[i] genrec

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

take

@@ -2571,15 +2563,15 @@ a+b a-b ---------------------- [b a]

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ternary

@@ -2588,26 +2580,26 @@ a+b a-b 
   ... z y x [P] unary
 -------------------------
          ... A
-

Definition

+

Definition

binary popd

Discussion

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

- +

binary nullary unary

third

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

times

@@ -2627,15 +2619,15 @@ a+b a-b ------------------------------------- w/ n > 1 ... . Q (n - 1) [Q] times

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

truthy

@@ -2645,15 +2637,15 @@ a+b a-b

Basis Function Combinator

(a2 a1 -- a1 a2 a1)

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

unary

@@ -2662,11 +2654,11 @@ a+b a-b 
   ... x [P] unary
 ---------------------
        ... A
-

Definition

+

Definition

nullary popd

Discussion

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

- +

binary nullary ternary

uncons

@@ -2675,131 +2667,131 @@ a+b a-b 
   [A ...] uncons
 --------------------
       A [...]
-

Source

+

Source

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

Discussion

This is the inverse of cons.

- +

cons

unique

Basis Function Combinator

Given a list remove duplicate items.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

unit

Basis Function Combinator

(a1 -- [a1 ])

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

unquoted

Basis Function Combinator

[i] dip

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

unswons

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

void

Basis Function Combinator

True if the form on TOS is void otherwise False.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

warranty

Basis Function Combinator

Print warranty information.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

while

Basis Function Combinator

swap nulco dupdipd concat loop

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

words

Basis Function Combinator

Print all the words in alphabetical order.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

x

@@ -2807,7 +2799,7 @@ a+b a-b 
   [F] x
 -----------
    [F] F
-

Definition

+

Definition

dup i

Discussion

The x combinator …

@@ -2816,30 +2808,30 @@ a+b a-b

Basis Function Combinator

Same as a ^ b.

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

zip

Basis Function Combinator

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

Gentzen diagram.

-

Definition

+

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

diff --git a/docs/reference/mkref/Functor-Reference.md b/docs/reference/mkref/Functor-Reference.md index cdba4e4..2efc959 100644 --- a/docs/reference/mkref/Functor-Reference.md +++ b/docs/reference/mkref/Functor-Reference.md @@ -1821,61 +1821,42 @@ Greater-than comparison of two numbers. ## help -Basis Function Combinator +Function -Accepts a quoted symbol on the top of the stack and prints its docs. +Accepts a quoted symbol on the top of the stack and prints its +documentation. -Gentzen diagram. - -### Definition - -if not basis. - -### Derivation - -if not basis. - -### Source - -if basis + [foo] help + ---------------- ### Discussion -Lorem ipsum. +Technically this is equivalent to `pop`, but it will only work if the +item on the top of the stack is a quoted symbol. -### Crosslinks - -Lorem ipsum. ------------------------------------------------------------------------ ## hypot -Basis Function Combinator +Function -\[sqr\] ii + sqrt - -Gentzen diagram. + x y hypot + -------------------------- + sqrt(sqr(x) + sqr(y)) ### Definition -if not basis. - -### Derivation - -if not basis. - -### Source - -if basis +> \[[sqr]\] [ii] [+] [sqrt] ### Discussion -Lorem ipsum. +This is another function that has to wait on the numeric tower. ### Crosslinks -Lorem ipsum. +[sqrt] + --------------------