From 0c716e4c6b7c2c44bbfd02b6503cae66af7b7480 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 28 Jan 2022 16:34:41 -0500 Subject: Separate syntax highlighting category for header/body characters ;:? --- docs/help/currentfunction.html | 2 +- docs/help/nothing.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help') diff --git a/docs/help/currentfunction.html b/docs/help/currentfunction.html index cb3c3d60..3d884422 100644 --- a/docs/help/currentfunction.html +++ b/docs/help/currentfunction.html @@ -9,7 +9,7 @@

โ†’full documentation

A variable assigned to the current function block. ๐•ค accesses the same value but has a subject role.

๐•Š can be used for recursion.

-โ†—๏ธ
    F โ† {๐•Š 0: 1; ๐•ฉ ร— ๐•Š ๐•ฉ-1} # Factorial
+โ†—๏ธ
    F โ† {๐•Š 0: 1; ๐•ฉ ร— ๐•Š ๐•ฉ-1} # Factorial
     F 5
 120
 
diff --git a/docs/help/nothing.html b/docs/help/nothing.html
index 09188be2..b83a26c4 100644
--- a/docs/help/nothing.html
+++ b/docs/help/nothing.html
@@ -17,7 +17,7 @@
 

 
In Block Headers

 
For Block header pattern matching syntax, Nothing can be used to indicate an unused value.

-โ†—๏ธ
    F โ† {๐•Š aโ€ฟยทโ€ฟb: aโˆพb}
+โ†—๏ธ
    F โ† {๐•Š aโ€ฟยทโ€ฟb: aโˆพb}
 
     F 1โ€ฟ2โ€ฟ3
 โŸจ 1 3 โŸฉ
-- 
cgit v1.2.3