diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-18 20:28:33 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-18 20:37:16 -0400 |
| commit | 1b8993fd8d7dafeed32f9cd74e7063953de4232e (patch) | |
| tree | 3699c387baf01d93dc1436a60857df605c808e58 /docs/doc/primitive.html | |
| parent | 60943475b5d7a4ab5698287126cefd633b4e249c (diff) | |
Prefer BQN font for combinator diagrams
Diffstat (limited to 'docs/doc/primitive.html')
| -rw-r--r-- | docs/doc/primitive.html | 24 |
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'/> |
