From 0479522e13e439f95bfc533a1297cff4f8175622 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 10 Feb 2021 21:33:44 -0500 Subject: Tutorial sections on identity functions and modified assignment --- 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 33ed9f53..06a0ec5c 100644 --- a/docs/tutorial/index.html +++ b/docs/tutorial/index.html @@ -35,7 +35,7 @@ Variables Declarations, cross-roles -∧∨¬↑↓«» +∧∨¬⊣⊢↑↓«» -- cgit v1.2.3