[ doc ] reference intro info on elab

idris-lang · Jun 5, 2024 · 0742b3b · 0742b3b
1 parent d7d8486
commit 0742b3b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/source/reference/pragmas.rst b/docs/source/reference/pragmas.rst
@@ -20,7 +20,7 @@ Global pragmas
 ``%language``
 --------------------
 
-Enable language extensions.  Currently, the only extension is ``ElabReflection``.
+Enable language extensions.  Currently, the only extension is [#ElabReflection]_.
 
 .. code-block:: idris
 
@@ -493,3 +493,4 @@ over the value syntactically, rather than by value, and can significantly speed
 up elaboration where large types are involved, at a cost of being less general.
 Try it if "with" is slow.
 
+.. [#ElabReflection] https://github.com/stefan-hoeck/idris2-elab-util/blob/main/src/Doc/Index.md