Now pile all the ref docs into the refs dir.
This commit is contained in:
parent
88f8723454
commit
7048dd6017
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
# Discussion
|
# Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
# Crosslinks
|
# Crosslinks
|
||||||
|
|
|
||||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
# Discussion
|
# Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
# Crosslinks
|
# Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
# Discussion
|
# Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
# Crosslinks
|
# Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -1,4 +1,5 @@
|
||||||
FUNCDOCS != ls [a-z]*.md
|
NOT_US = Functor-Reference.md FORMAT-Functor-Reference.md
|
||||||
|
FUNCDOCS = $(filter-out $(NOT_US),$(wildcard *.md))
|
||||||
|
|
||||||
|
|
||||||
all: Functor-Reference.md
|
all: Functor-Reference.md
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -22,4 +22,6 @@ if basis
|
||||||
|
|
||||||
## Discussion
|
## Discussion
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
## Crosslinks
|
## Crosslinks
|
||||||
|
|
|
||||||
|
|
@ -64,24 +64,31 @@ Basis Function Combinator
|
||||||
|
|
||||||
Gentzen diagram.
|
Gentzen diagram.
|
||||||
|
|
||||||
|
|
||||||
Definition
|
Definition
|
||||||
~~~~~~~~~~
|
~~~~~~~~~~
|
||||||
|
|
||||||
if not basis.
|
if not basis.
|
||||||
|
|
||||||
|
|
||||||
Derivation
|
Derivation
|
||||||
~~~~~~~~~~
|
~~~~~~~~~~
|
||||||
|
|
||||||
if not basis.
|
if not basis.
|
||||||
|
|
||||||
|
|
||||||
Source
|
Source
|
||||||
~~~~~~~~~~
|
~~~~~~~~~~
|
||||||
|
|
||||||
if basis
|
if basis
|
||||||
|
|
||||||
|
|
||||||
Discussion
|
Discussion
|
||||||
~~~~~~~~~~
|
~~~~~~~~~~
|
||||||
|
|
||||||
|
Lorem ipsum.
|
||||||
|
|
||||||
|
|
||||||
Crosslinks
|
Crosslinks
|
||||||
~~~~~~~~~~
|
~~~~~~~~~~
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue