diff options
Diffstat (limited to 'src/lib/Codec/Pesto/Lint.lhs')
-rw-r--r-- | src/lib/Codec/Pesto/Lint.lhs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lib/Codec/Pesto/Lint.lhs b/src/lib/Codec/Pesto/Lint.lhs index bc99e14..919eeef 100644 --- a/src/lib/Codec/Pesto/Lint.lhs +++ b/src/lib/Codec/Pesto/Lint.lhs @@ -1,3 +1,5 @@ +.. _linting: + Linting ------- @@ -286,7 +288,7 @@ well… References ++++++++++ -All references must be resolved. An `earlier check <resultsused_>`_ makes sure +All references must be resolved. An `earlier check <#resultsused>`_ makes sure all results and alternatives are referenced at some point. > referencesResolved nodes edges = foldl f [] nodes |