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

The H's.

This commit is contained in:
Simon Forman 2022-03-25 14:46:56 -07:00
parent 3a71d4669e
commit 1b1fe5f5bb
4 changed files with 416 additions and 462 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
docs/reference/help.md
View File

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

23
docs/reference/hypot.md
View File

@ -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]

780
docs/reference/mkref/FuncRef.html
View File

File diff suppressed because it is too large Load Diff

49
docs/reference/mkref/Functor-Reference.md
View File

@ -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]
--------------------