fixed more links

usethesource · Oct 18, 2024 · 3ffefdc · 3ffefdc
1 parent 3383bff
commit 3ffefdc
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/doc/TypePal/Examples/Examples.md b/doc/TypePal/Examples/Examples.md
@@ -72,7 +72,7 @@ To get you started more quickly, we give below a list of complete TypePal-based
 
 ##### Aliases
 
-| *What*        |  Struct extended with type aliases |
+| *What*        |  Struct, extended with type aliases |
 | --- | --- |
 | *Illustrates* | useViaType, TypePalConfig, getTypeNamesAndRole |
 | *Source*      | https://github.com/cwi-swat/typepal/tree/master/src/examples/aliases |
@@ -82,15 +82,15 @@ To get you started more quickly, we give below a list of complete TypePal-based
 ##### StaticFields
 
 
-| *What*        | [Struct]((#Struct)) extended with fields on non-record type |
+| *What*        | Struct, extended with fields on non-record type |
 | --- | --- |
 | *Illustrates* | useViaType, TypePalConfig, getTypeNamesAndRole, getTypeInNamelessType  |
 | *Source*      | https://github.com/cwi-swat/typepal/tree/master/src/examples/staticFields |
 
 
 ##### StructParameters
 
-| *What*        | [Struct]((#Struct)) with parameterized records |
+| *What*        | Struct, with parameterized records |
 | --- | --- |
 | *Illustrates* | useViaType, TypePalConfig, getTypeNamesAndRole, getTypeInNamelessType, instantiateTypeParameters |
 | *Source*      | https://github.com/cwi-swat/typepal/tree/master/src/examples/structParameters |

diff --git a/doc/TypePal/Solver/Solver.md b/doc/TypePal/Solver/Solver.md
@@ -301,7 +301,7 @@ Returns the global store of the Solver. The global store is a key-value store in
 * The grammar rules defined in the module
 * The data declarations defined in the module
 
-It is also possible to create an arbitrary number of (named) of push down stacks in the global store. These can be used to represent context information during the collect or solve phase, see [Nested info]((Collector#nested-info)).
+It is also possible to create an arbitrary number of (named) of push down stacks in the global store. These can be used to represent context information during the collect or solve phase, see [Nested info]((Collector)).
 
 :::caution
 With the availability of a global store come serious responsibilities. Don't overuse it, do not misuse it.