Skip to content

Commit

Permalink
Remove incorrect link to abstract syntax
Browse files Browse the repository at this point in the history
When referring to the `rec` keyword, do not link to the abstract syntax that
happens to have the same name. Fix suggested by @bvisness and split out from
#413.

Do not link to the abstract syntax
  • Loading branch information
tlively committed Sep 12, 2023
1 parent bc304c5 commit 2fb9891
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion document/core/text/types.rst
Original file line number Diff line number Diff line change
Expand Up @@ -263,7 +263,7 @@ Recursive Types
Abbreviations
.............

Singular recursive types can omit the |Trec| keyword:
Singular recursive types can omit the :math:`\text{rec}` keyword:

.. math::
\begin{array}{llclll}
Expand Down

0 comments on commit 2fb9891

Please sign in to comment.