From 7c24767d82a01f23e1c4010f1a9d0c02f2befc5f Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 4 Jan 2022 22:03:22 -0500 Subject: =?UTF-8?q?Switch=20from=20using=20=E2=89=8D=20to=20=E2=8B=88=20in?= =?UTF-8?q?=20the=20tutorials=20so=20far?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/tutorial/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/tutorial/index.html') diff --git a/docs/tutorial/index.html b/docs/tutorial/index.html index 85a2431f..ded09fb1 100644 --- a/docs/tutorial/index.html +++ b/docs/tutorial/index.html @@ -25,7 +25,7 @@ List manipulation Lists, strings, and strands; pervasion -∾≍⌽↕¨´ +∾⋈⌽↕¨´ Combinators -- cgit v1.2.3