Include ∀ (forall) symbol help

unisonweb · Aug 19, 2024 · c9202c9 · c9202c9
1 parent 6eb3626
commit c9202c9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/Code/Syntax/SyntaxSegment.elm b/src/Code/Syntax/SyntaxSegment.elm
@@ -472,6 +472,9 @@ helpForSegment (SyntaxSegment syntaxType segmentText) =
                 "forall" ->
                     Just SyntaxSegmentHelp.typeForall
 
+                "∀" ->
+                    Just SyntaxSegmentHelp.typeForall
+
                 _ ->
                     Nothing
 

diff --git a/src/Code/Syntax/SyntaxSegmentHelp.elm b/src/Code/Syntax/SyntaxSegmentHelp.elm
@@ -95,7 +95,7 @@ typeParams =
 
 typeForall : Html msg
 typeForall =
-    help [ inlineCode "forall", text " describes a type that is universally quantified." ]
+    help [ inlineCode "∀", text " or ", inlineCode "forall", text " describes a type that is universally quantified." ]
 
 
 typeAscriptionColon : Html msg