Merge pull request #62 from Herb-AI/documentation-ref-fixes

Fix broken reference.

docs/src/get_started.md

@@ -38,7 +38,7 @@ solution, flag = synth(problem, iterator)
 println(solution)
 ```
 
-There are various ways to adapt the search technique to your needs. Please have a look at the [`search`](@ref) documentation.
+There are various ways to adapt the search technique to your needs. Please have a look at the [`synth`](@ref) documentation.
 
 Eventually, we want to test our solution on some other inputs using `HerbInterpret`. We transform our grammar `g` to a Julia expression with `Symboltable(g)`, add our solution and the input, assigning the value `6` to the variable `x`.