From 1b8993fd8d7dafeed32f9cd74e7063953de4232e Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 18 Apr 2021 20:28:33 -0400 Subject: Prefer BQN font for combinator diagrams --- docs/doc/primitive.html | 24 +++++++++---------- docs/tutorial/combinator.html | 56 +++++++++++++++++++++---------------------- 2 files changed, 40 insertions(+), 40 deletions(-) (limited to 'docs') 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 @@ Atop - + 𝔽𝔾 𝕩 @@ -252,7 +252,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -270,7 +270,7 @@ Over - + 𝔽𝔾 𝕩 @@ -281,7 +281,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -302,7 +302,7 @@ Constant - + 𝕗˙ 𝕩 @@ -310,7 +310,7 @@ 𝕗 𝕩 - + 𝕨 𝕗˙ 𝕩 @@ -324,7 +324,7 @@ Before - + 𝔽𝔾 𝕩 @@ -336,7 +336,7 @@ 𝔽 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -354,7 +354,7 @@ After - + 𝔽𝔾 𝕩 @@ -366,7 +366,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -384,7 +384,7 @@ Self/Swap - + 𝔽˜ 𝕩 @@ -393,7 +393,7 @@ 𝔽 𝕩 - + 𝕨 𝔽˜ 𝕩 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 @@ Atop - + 𝔽𝔾 𝕩 @@ -30,7 +30,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -82,7 +82,7 @@ Atop - + 𝔽𝔾 𝕩 @@ -93,7 +93,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -111,7 +111,7 @@ Self/Swap - + 𝔽˜ 𝕩 @@ -120,7 +120,7 @@ 𝔽 𝕩 - + 𝕨 𝔽˜ 𝕩 @@ -135,7 +135,7 @@ Constant - + 𝕗˙ 𝕩 @@ -143,7 +143,7 @@ 𝕗 𝕩 - + 𝕨 𝕗˙ 𝕩 @@ -315,7 +315,7 @@ Atop - + 𝔽𝔾 𝕩 @@ -326,7 +326,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -344,7 +344,7 @@ Over - + 𝔽𝔾 𝕩 @@ -355,7 +355,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -426,7 +426,7 @@ Before - + 𝔽𝔾 𝕩 @@ -438,7 +438,7 @@ 𝔽 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -456,7 +456,7 @@ After - + 𝔽𝔾 𝕩 @@ -468,7 +468,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -655,7 +655,7 @@ Atop - + 𝔽𝔾 𝕩 @@ -666,7 +666,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -684,7 +684,7 @@ Self/Swap - + 𝔽˜ 𝕩 @@ -693,7 +693,7 @@ 𝔽 𝕩 - + 𝕨 𝔽˜ 𝕩 @@ -708,7 +708,7 @@ Constant - + 𝕗˙ 𝕩 @@ -716,7 +716,7 @@ 𝕗 𝕩 - + 𝕨 𝕗˙ 𝕩 @@ -730,7 +730,7 @@ Over - + 𝔽𝔾 𝕩 @@ -741,7 +741,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -762,7 +762,7 @@ Before - + 𝔽𝔾 𝕩 @@ -774,7 +774,7 @@ 𝔽 𝕩 - + 𝕨 𝔽𝔾 𝕩 @@ -792,7 +792,7 @@ After - + 𝔽𝔾 𝕩 @@ -804,7 +804,7 @@ 𝔾 𝕩 - + 𝕨 𝔽𝔾 𝕩 -- cgit v1.2.3