diff options
Diffstat (limited to 'docs/tutorial')
| -rw-r--r-- | docs/tutorial/combinator.html | 56 |
1 files changed, 28 insertions, 28 deletions
diff --git a/docs/tutorial/combinator.html b/docs/tutorial/combinator.html index 3b4aefb3..4a59b958 100644 --- a/docs/tutorial/combinator.html +++ b/docs/tutorial/combinator.html @@ -19,7 +19,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'/> @@ -30,7 +30,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'/> @@ -82,7 +82,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'/> @@ -93,7 +93,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'/> @@ -111,7 +111,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'>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'/> @@ -120,7 +120,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'/> @@ -135,7 +135,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'/> @@ -143,7 +143,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'/> @@ -315,7 +315,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'/> @@ -326,7 +326,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'/> @@ -344,7 +344,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'/> @@ -355,7 +355,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'/> @@ -426,7 +426,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'>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'/> @@ -438,7 +438,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'/> @@ -456,7 +456,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'>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'/> @@ -468,7 +468,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'/> @@ -655,7 +655,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'/> @@ -666,7 +666,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'/> @@ -684,7 +684,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'>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'/> @@ -693,7 +693,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'/> @@ -708,7 +708,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'/> @@ -716,7 +716,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'/> @@ -730,7 +730,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'>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'/> @@ -741,7 +741,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'/> @@ -762,7 +762,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'>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'/> @@ -774,7 +774,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'/> @@ -792,7 +792,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'>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'/> @@ -804,7 +804,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'/> |