Add stringOf to index

B-Lang-org · Feb 15, 2024 · a5e2002 · a5e2002
1 parent ea9efe5
commit a5e2002
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/BH_ref_guide/BH_lang.tex b/doc/BH_ref_guide/BH_lang.tex
@@ -2729,8 +2729,9 @@ \subsection{The ``size'' types}
 The second line binds {\te{logWPlusOne}} to the integer value
 corresponding to {\te{n}}.
 
+{\index{stringOf@\te{stringOf} (``function'' of string types)}}
 A ``function'' {\te{stringOf}} is also available to get the string value
-of a type-level string.  Example:
+of a type-level string.
 \begin{verbatim}
  type MyString = "Hello, world!"
  x :: String