aboutsummaryrefslogtreecommitdiff
path: root/docs/doc
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-04-18 20:28:33 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-04-18 20:37:16 -0400
commit1b8993fd8d7dafeed32f9cd74e7063953de4232e (patch)
tree3699c387baf01d93dc1436a60857df605c808e58 /docs/doc
parent60943475b5d7a4ab5698287126cefd633b4e249c (diff)
Prefer BQN font for combinator diagrams
Diffstat (limited to 'docs/doc')
-rw-r--r--docs/doc/primitive.html24
1 files changed, 12 insertions, 12 deletions
diff --git a/docs/doc/primitive.html b/docs/doc/primitive.html
index d9d696dc..c06b122f 100644
--- a/docs/doc/primitive.html
+++ b/docs/doc/primitive.html
@@ -241,7 +241,7 @@
<g font-size='20px' text-anchor='middle' transform='translate(145,20)'>
<rect class='code' stroke-width='1' rx='12' x='-120.4' y='1' width='240.8' height='205'/>
<text dy='0.32em' y='223' fill='currentColor'>Atop</text>
- <g font-size='21px' font-family='monospace' transform='translate(-60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(-60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Function'>𝔽</tspan><tspan class='Modifier2'>∘</tspan><tspan class='Function'>𝔾</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L0 57'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 57L0 114'/>
@@ -252,7 +252,7 @@
<text dy='0.32em' x='0' y='57'><tspan class='Function'>𝔾</tspan></text>
<text dy='0.32em' x='0' y='114'><tspan class='Value'>𝕩</tspan></text>
</g>
- <g font-size='21px' font-family='monospace' transform='translate(60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Value'>𝕨</tspan> <tspan class='Function'>𝔽</tspan><tspan class='Modifier2'>∘</tspan><tspan class='Function'>𝔾</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L0 57'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 57L-32 114'/>
@@ -270,7 +270,7 @@
<g font-size='20px' text-anchor='middle' transform='translate(425,20)'>
<rect class='code' stroke-width='1' rx='12' x='-120.4' y='1' width='240.8' height='205'/>
<text dy='0.32em' y='223' fill='currentColor'>Over</text>
- <g font-size='21px' font-family='monospace' transform='translate(-60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(-60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Function'>𝔽</tspan><tspan class='Modifier2'>○</tspan><tspan class='Function'>𝔾</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L0 57'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 57L0 114'/>
@@ -281,7 +281,7 @@
<text dy='0.32em' x='0' y='57'><tspan class='Function'>𝔾</tspan></text>
<text dy='0.32em' x='0' y='114'><tspan class='Value'>𝕩</tspan></text>
</g>
- <g font-size='21px' font-family='monospace' transform='translate(60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Value'>𝕨</tspan> <tspan class='Function'>𝔽</tspan><tspan class='Modifier2'>○</tspan><tspan class='Function'>𝔾</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L-32 57'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M-32 57L-32 114'/>
@@ -302,7 +302,7 @@
<g font-size='20px' text-anchor='middle' transform='translate(705,20)'>
<rect class='code' stroke-width='1' rx='12' x='-120.4' y='1' width='240.8' height='205'/>
<text dy='0.32em' y='223' fill='currentColor'>Constant</text>
- <g font-size='21px' font-family='monospace' transform='translate(-60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(-60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Value'>𝕗</tspan><tspan class='Modifier'>˙</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L0 57'/>
<circle r='12' class='code' stroke-width='0' cx='0' cy='57'/>
@@ -310,7 +310,7 @@
<text dy='0.32em' x='0' y='57'><tspan class='Value'>𝕗</tspan></text>
<text dy='0.32em' x='0' y='114'><tspan class='Value'>𝕩</tspan></text>
</g>
- <g font-size='21px' font-family='monospace' transform='translate(60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Value'>𝕨</tspan> <tspan class='Value'>𝕗</tspan><tspan class='Modifier'>˙</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L0 57'/>
<circle r='12' class='code' stroke-width='0' cx='0' cy='57'/>
@@ -324,7 +324,7 @@
<g font-size='20px' text-anchor='middle' transform='translate(145,280)'>
<rect class='code' stroke-width='1' rx='12' x='-120.4' y='1' width='240.8' height='205'/>
<text dy='0.32em' y='223' fill='currentColor'>Before</text>
- <g font-size='21px' font-family='monospace' transform='translate(-60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(-60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Function'>𝔽</tspan><tspan class='Modifier2'>⊸</tspan><tspan class='Function'>𝔾</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L-32 57'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M-32 57L0 114'/>
@@ -336,7 +336,7 @@
<text dy='0.32em' x='-32' y='57'><tspan class='Function'>𝔽</tspan></text>
<text dy='0.32em' x='0' y='114'><tspan class='Value'>𝕩</tspan></text>
</g>
- <g font-size='21px' font-family='monospace' transform='translate(60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Value'>𝕨</tspan> <tspan class='Function'>𝔽</tspan><tspan class='Modifier2'>⊸</tspan><tspan class='Function'>𝔾</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L-32 57'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M-32 57L-32 114'/>
@@ -354,7 +354,7 @@
<g font-size='20px' text-anchor='middle' transform='translate(425,280)'>
<rect class='code' stroke-width='1' rx='12' x='-120.4' y='1' width='240.8' height='205'/>
<text dy='0.32em' y='223' fill='currentColor'>After</text>
- <g font-size='21px' font-family='monospace' transform='translate(-60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(-60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Function'>𝔽</tspan><tspan class='Modifier2'>⟜</tspan><tspan class='Function'>𝔾</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0Q-41.6 57 0 114'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L32 57'/>
@@ -366,7 +366,7 @@
<text dy='0.32em' x='32' y='57'><tspan class='Function'>𝔾</tspan></text>
<text dy='0.32em' x='0' y='114'><tspan class='Value'>𝕩</tspan></text>
</g>
- <g font-size='21px' font-family='monospace' transform='translate(60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Value'>𝕨</tspan> <tspan class='Function'>𝔽</tspan><tspan class='Modifier2'>⟜</tspan><tspan class='Function'>𝔾</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0C-40 57 -32 51.3 -32 114'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0L32 57'/>
@@ -384,7 +384,7 @@
<g font-size='20px' text-anchor='middle' transform='translate(705,280)'>
<rect class='code' stroke-width='1' rx='12' x='-120.4' y='1' width='240.8' height='205'/>
<text dy='0.32em' y='223' fill='currentColor'>Self/Swap</text>
- <g font-size='21px' font-family='monospace' transform='translate(-60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(-60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Function'>𝔽</tspan><tspan class='Modifier'>˜</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0Q-41.6 57 0 114'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0Q41.6 57 0 114'/>
@@ -393,7 +393,7 @@
<text dy='0.32em' x='0' y='0'><tspan class='Function'>𝔽</tspan></text>
<text dy='0.32em' x='0' y='114'><tspan class='Value'>𝕩</tspan></text>
</g>
- <g font-size='21px' font-family='monospace' transform='translate(60.87,25)'>
+ <g font-size='21px' font-family='BQN,monospace' transform='translate(60.87,25)'>
<text dy='0.32em' y='155' font-size='19px'><tspan class='Value'>𝕨</tspan> <tspan class='Function'>𝔽</tspan><tspan class='Modifier'>˜</tspan> <tspan class='Value'>𝕩</tspan></text>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0C-40 28.5 0 57 32 114'/>
<path class='yellow' style='fill:none' stroke-width='2' d='M0 0C40 28.5 0 57 -32 114'/>