From b3ddc52f9e03a162a4569160d47d2a3413fa166a Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Wed, 23 Mar 2022 14:22:53 -0700 Subject: [PATCH] Update some ref docs. --- docs/reference/AMPERSAND•AMPERSAND.md | 34 +- .../EXCLAMATION-MARK•HYPHEN-MINUS.md | 31 +- ...•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md | 18 +- docs/reference/mkref/FuncRef.html | 954 +++++++++--------- docs/reference/mkref/Functor-Reference.md | 83 +- 5 files changed, 567 insertions(+), 553 deletions(-) diff --git a/docs/reference/AMPERSAND•AMPERSAND.md b/docs/reference/AMPERSAND•AMPERSAND.md index 84b7739..c54daa9 100644 --- a/docs/reference/AMPERSAND•AMPERSAND.md +++ b/docs/reference/AMPERSAND•AMPERSAND.md @@ -2,28 +2,40 @@ ## && -Basis Function Combinator +Combinator -nulco \[nullary \[false\]\] dip branch +Short-circuiting Boolean AND + +Accept two quoted programs, run the first and expect a Boolean value, if +it's `true` pop it and run the second program (which should also return a +Boolean value) otherwise pop the second program (leaving `false` on the +stack.) + + + [A] [B] && + ---------------- true + B + + + [A] [B] && + ---------------- false + false -Gentzen diagram. ### Definition -if not basis. + nulco [nullary [false]] dip branch ### Derivation -if not basis. - -### Source - -if basis +TODO: this is derived in one of the notebooks I think, look it up and +link to it, or copy the content here. ### Discussion -Lorem ipsum. +This is seldom useful, I suspect, but this way you have it. ### Crosslinks -Lorem ipsum. +[||](#section-25) + diff --git a/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md b/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md index dddf86c..dae737e 100644 --- a/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md +++ b/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md @@ -2,28 +2,27 @@ ## !- -Basis Function Combinator +Function -0 \>= +Not negative. + + + n !- + ----------- n < 0 + false + + + n !- + ---------- n >= 0 + true -Gentzen diagram. ### Definition -if not basis. - -### Derivation - -if not basis. - -### Source - -if basis + 0 \>= ### Discussion -Lorem ipsum. +Return a Boolean value indicating if a number is greater than or equal to +zero. -### Crosslinks - -Lorem ipsum. diff --git a/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md b/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md index eb4ae86..28d1ef9 100644 --- a/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md +++ b/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md @@ -2,23 +2,17 @@ ## \<{} -Basis Function Combinator +Function -\[\] swap -Gentzen diagram. + ... a \<{} + ---------------- + ... [] a + ### Definition -if not basis. - -### Derivation - -if not basis. - -### Source - -if basis + \[\] swap ### Discussion diff --git a/docs/reference/mkref/FuncRef.html b/docs/reference/mkref/FuncRef.html index 9aa66c3..f4df306 100644 --- a/docs/reference/mkref/FuncRef.html +++ b/docs/reference/mkref/FuncRef.html @@ -354,19 +354,25 @@

See and.

&&

-

Basis Function Combinator

-

nulco [nullary [false]] dip branch

-

Gentzen diagram.

+

Combinator

+

Short-circuiting Boolean AND

+

Accept two quoted programs, run the first and expect a Boolean value, if it’s true pop it and run the second program (which should also return a Boolean value) otherwise pop the second program (leaving false on the stack.)

+
   [A] [B] &&
+---------------- true
+        B
+
+
+   [A] [B] &&
+---------------- false
+     false

Definition

-

if not basis.

+
nulco [nullary [false]] dip branch

Derivation

-

if not basis.

-

Source

-

if basis

+

TODO: this is derived in one of the notebooks I think, look it up and link to it, or copy the content here.

Discussion

-

Lorem ipsum.

+

This is seldom useful, I suspect, but this way you have it.

-

Lorem ipsum.

+

||

*

See mul.

@@ -384,19 +390,20 @@

See ne.

!-

-

Basis Function Combinator

-

0 >=

-

Gentzen diagram.

+

Function

+

Not negative.

+
    n !-
+----------- n < 0
+   false
+
+
+   n !-
+---------- n >= 0
+   true

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

+
0 \>=

Discussion

-

Lorem ipsum.

- -

Lorem ipsum.

+

Return a Boolean value indicating if a number is greater than or equal to zero.

>

See gt.

@@ -423,18 +430,15 @@

See ne.

<

-

Basis Function Combinator

-

[] swap

-

Gentzen diagram.

+

Function

+
   ... a \<{}
+----------------
+   ... [] a

Definition

-

if not basis.

-

Derivation

-

if not basis.

-

Source

-

if basis

+
\[\] swap

Discussion

Lorem ipsum.

- +

Lorem ipsum.

<<

@@ -446,13 +450,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

%

@@ -470,13 +474,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

/

@@ -494,13 +498,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

abs

@@ -509,13 +513,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

add

@@ -524,13 +528,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

anamorphism

@@ -539,13 +543,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

and

@@ -554,13 +558,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

app1

@@ -585,13 +589,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

app3

@@ -604,13 +608,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

appN

@@ -619,13 +623,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

at

@@ -637,13 +641,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

b

@@ -654,7 +658,7 @@ P Q

Definition

[i] dip i
-

Derivation

+

Derivation

[P] [Q] b
 [P] [Q] [i] dip i
 [P] i [Q] i
@@ -662,7 +666,7 @@
  P     Q

Discussion

This combinator comes in handy.

- +

dupdip ii

binary

@@ -675,7 +679,7 @@ 
unary popd

Discussion

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

- +

nullary ternary unary

bool

@@ -685,13 +689,13 @@

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

branch

@@ -709,13 +713,13 @@ True [F] [T] branch

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ccccons

@@ -724,13 +728,13 @@ True [F] [T] branch

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ccons

@@ -743,7 +747,7 @@ True [F] [T] branch 
cons cons

Discussion

Does cons twice.

- +

cons

choice

@@ -761,13 +765,13 @@ A B true choice

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

clear

@@ -782,13 +786,13 @@ A B true choice

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

cleave

@@ -797,13 +801,13 @@ A B true choice

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

clop

@@ -812,13 +816,13 @@ A B true choice

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

cmp

@@ -838,13 +842,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

codi

@@ -853,13 +857,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

codireco

@@ -868,13 +872,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

concat

@@ -886,13 +890,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

cond

@@ -905,13 +909,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

cons

@@ -920,11 +924,11 @@ a b [G] [E] [L] cmp 
   A [...] cons
 ------------------
      [A ...]
-

Source

+

Source

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

Discussion

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

- +

ccons uncons

dinfrirst

@@ -933,13 +937,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

dip

@@ -951,13 +955,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

dipd

@@ -969,13 +973,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

dipdd

@@ -987,13 +991,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

disenstacken

@@ -1002,13 +1006,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

div

@@ -1021,13 +1025,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

down_to_zero

@@ -1036,13 +1040,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

drop

@@ -1055,13 +1059,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

dup

@@ -1070,13 +1074,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

dupd

@@ -1085,13 +1089,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

dupdd

@@ -1100,13 +1104,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

dupdip

@@ -1120,13 +1124,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

dupdipd

@@ -1135,13 +1139,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

enstacken

@@ -1150,13 +1154,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

eq

@@ -1165,13 +1169,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

first

@@ -1180,13 +1184,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

first_two

@@ -1195,13 +1199,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

flatten

@@ -1210,13 +1214,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

floor

@@ -1226,13 +1230,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

floordiv

@@ -1241,13 +1245,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

fork

@@ -1256,13 +1260,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

fourth

@@ -1271,13 +1275,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

gcd

@@ -1286,13 +1290,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

gcd2

@@ -1301,13 +1305,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ge

@@ -1316,13 +1320,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

genrec

@@ -1347,13 +1351,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

getitem

@@ -1366,13 +1370,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

grabN

@@ -1381,13 +1385,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

grba

@@ -1396,13 +1400,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

gt

@@ -1411,13 +1415,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

help

@@ -1426,13 +1430,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

hypot

@@ -1441,13 +1445,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

i

@@ -1456,7 +1460,7 @@ a b [G] [E] [L] cmp 
   [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.)

@@ -1467,13 +1471,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ifte

@@ -1493,13 +1497,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ii

@@ -1510,13 +1514,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

infra

@@ -1529,7 +1533,7 @@ a b [G] [E] [L] cmp 
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

@@ -1538,13 +1542,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

inscribe

@@ -1556,13 +1560,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

le

@@ -1571,13 +1575,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

loop

@@ -1593,13 +1597,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

lshift

@@ -1608,13 +1612,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

lt

@@ -1623,13 +1627,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

make_generator

@@ -1638,13 +1642,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

map

@@ -1653,13 +1657,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

max

@@ -1668,13 +1672,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

min

@@ -1683,13 +1687,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

mod

@@ -1698,13 +1702,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

modulus

@@ -1716,13 +1720,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ne

@@ -1731,13 +1735,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

neg

@@ -1746,13 +1750,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

not

@@ -1761,13 +1765,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

!-

@@ -1790,13 +1794,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

nullary

@@ -1807,7 +1811,7 @@ a b [G] [E] [L] cmp ... A

Definition

[stack] dip infra first
-

Derivation

+

Derivation

... [P] nullary
 ... [P] [stack] dip infra first
 ... stack [P] infra first
@@ -1816,7 +1820,7 @@ a b [G] [E] [L] cmp
 ...  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

@@ -1825,13 +1829,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

or

@@ -1840,13 +1844,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

over

@@ -1855,13 +1859,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pam

@@ -1870,13 +1874,13 @@ a b [G] [E] [L] cmp

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pick

@@ -1891,13 +1895,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pop

@@ -1906,13 +1910,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popd

@@ -1921,13 +1925,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popdd

@@ -1936,13 +1940,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popop

@@ -1951,13 +1955,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popopd

@@ -1966,13 +1970,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popopdd

@@ -1981,13 +1985,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

popopop

@@ -1996,13 +2000,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pow

@@ -2011,13 +2015,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

pred

@@ -2026,13 +2030,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

primrec

@@ -2053,13 +2057,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

product

@@ -2068,13 +2072,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

quoted

@@ -2083,13 +2087,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

range

@@ -2098,13 +2102,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

range_to_zero

@@ -2113,13 +2117,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

reco

@@ -2128,13 +2132,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rem

@@ -2152,13 +2156,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rest

@@ -2167,13 +2171,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

reverse

@@ -2183,13 +2187,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rolldown

@@ -2198,13 +2202,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rollup

@@ -2213,13 +2217,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

roll>

@@ -2235,13 +2239,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rrest

@@ -2250,13 +2254,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

rshift

@@ -2265,13 +2269,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

run

@@ -2280,13 +2284,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

second

@@ -2295,13 +2299,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

select

@@ -2319,13 +2323,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sharing

@@ -2334,13 +2338,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

shift

@@ -2349,13 +2353,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

shunt

@@ -2369,13 +2373,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

size

@@ -2384,13 +2388,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sort

@@ -2399,13 +2403,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

spiral_next

@@ -2414,13 +2418,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

split_at

@@ -2429,13 +2433,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

split_list

@@ -2444,13 +2448,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sqr

@@ -2459,13 +2463,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sqrt

@@ -2474,13 +2478,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

stack

@@ -2489,13 +2493,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

stackd

@@ -2504,13 +2508,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

step

@@ -2533,13 +2537,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

step_zero

@@ -2548,13 +2552,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

stuncons

@@ -2563,13 +2567,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

stununcons

@@ -2578,13 +2582,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sub

@@ -2593,13 +2597,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

succ

@@ -2608,13 +2612,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

sum

@@ -2624,13 +2628,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swaack

@@ -2639,13 +2643,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swap

@@ -2654,13 +2658,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swapd

@@ -2669,13 +2673,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swoncat

@@ -2684,13 +2688,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

swons

@@ -2699,13 +2703,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

tailrec

@@ -2714,13 +2718,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

take

@@ -2732,13 +2736,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

ternary

@@ -2751,7 +2755,7 @@ a+b a-b 
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

@@ -2760,13 +2764,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

times

@@ -2788,13 +2792,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

truthy

@@ -2806,13 +2810,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

unary

@@ -2825,7 +2829,7 @@ a+b a-b 
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

@@ -2834,11 +2838,11 @@ 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

@@ -2847,13 +2851,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

unit

@@ -2862,13 +2866,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

unquoted

@@ -2877,13 +2881,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

unswons

@@ -2892,13 +2896,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

void

@@ -2907,13 +2911,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

warranty

@@ -2922,13 +2926,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

while

@@ -2937,13 +2941,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

words

@@ -2952,13 +2956,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

x

@@ -2977,13 +2981,13 @@ a+b a-b

Gentzen diagram.

Definition

if not basis.

-

Derivation

+

Derivation

if not basis.

-

Source

+

Source

if basis

Discussion

Lorem ipsum.

- +

Lorem ipsum.

zip

@@ -2992,13 +2996,13 @@ a+b a-b

Gentzen diagram.

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 af05519..1dad804 100644 --- a/docs/reference/mkref/Functor-Reference.md +++ b/docs/reference/mkref/Functor-Reference.md @@ -15,31 +15,43 @@ See [and](#and). ## && -Basis Function Combinator +Combinator -nulco \[nullary \[false\]\] dip branch +Short-circuiting Boolean AND + +Accept two quoted programs, run the first and expect a Boolean value, if +it's `true` pop it and run the second program (which should also return a +Boolean value) otherwise pop the second program (leaving `false` on the +stack.) + + + [A] [B] && + ---------------- true + B + + + [A] [B] && + ---------------- false + false -Gentzen diagram. ### Definition -if not basis. + nulco [nullary [false]] dip branch ### Derivation -if not basis. - -### Source - -if basis +TODO: this is derived in one of the notebooks I think, look it up and +link to it, or copy the content here. ### Discussion -Lorem ipsum. +This is seldom useful, I suspect, but this way you have it. ### Crosslinks -Lorem ipsum. +[||](#section-25) + -------------- @@ -80,31 +92,30 @@ See [ne](#ne). ## !- -Basis Function Combinator +Function -0 \>= +Not negative. + + + n !- + ----------- n < 0 + false + + + n !- + ---------- n >= 0 + true -Gentzen diagram. ### Definition -if not basis. - -### Derivation - -if not basis. - -### Source - -if basis + 0 \>= ### Discussion -Lorem ipsum. +Return a Boolean value indicating if a number is greater than or equal to +zero. -### Crosslinks - -Lorem ipsum. -------------- @@ -166,23 +177,17 @@ See [ne](#ne). ## \<{} -Basis Function Combinator +Function -\[\] swap -Gentzen diagram. + ... a \<{} + ---------------- + ... [] a + ### Definition -if not basis. - -### Derivation - -if not basis. - -### Source - -if basis + \[\] swap ### Discussion