Temporarily remove broken links

Author: AzureMarker

book/src/engine/logic.md

@@ -34,7 +34,7 @@ As either `Answer`s are found for the selected `Table`, entries on the stack are
 
 As mentioned before, whenever a new `Goal` is encounted, a new [`Table`] is
 created to store current and future answers. First, the [`Goal`] is converted into
-an [`HhGoal`]. If it can be simplified, then a `Strand` with one or more
+an `HhGoal`. If it can be simplified, then a `Strand` with one or more
 subgoals will be generated and can be followed as above. Otherwise, if it is a
 `DomainGoal` (see above), then
 [`program_clauses`](https://rust-lang.github.io/chalk/chalk_engine/context/trait.ContextOps.html#tymethod.program_clauses)
@@ -123,7 +123,6 @@ For much more in-depth
 
 [`Strand`]: https://rust-lang.github.io/chalk/chalk_engine/strand/struct.Strand.html
 [`Context`]: https://rust-lang.github.io/chalk/chalk_engine/context/trait.Context.html
-[`HhGoal`]: https://rust-lang.github.io/chalk/chalk_engine/hh/enum.HhGoal.html
 [`Stack`]: https://rust-lang.github.io/chalk/chalk_engine/stack/struct.Stack.html
 [`StackEntry`]: https://rust-lang.github.io/chalk/chalk_engine/stack/struct.StackEntry.html
 [`Table`]: https://rust-lang.github.io/chalk/chalk_engine/table/struct.Table.html

book/src/engine/major_concepts.md

@@ -16,7 +16,7 @@ opaque to the engine internals. Functions in the trait are agnostic to specific
 program or environment details, since they lack a `&self` argument.
 
 To give an example, there is an associated [`Goal`] type. However, Chalk doesn't
-know how to solve this. Instead, it has to be converted an [`HhGoal`] via the
+know how to solve this. Instead, it has to be converted an `HhGoal` via the
 `Context::into_hh_goal` function. This will be coverted more in the `Goals`
 section.
 
@@ -38,7 +38,7 @@ change the state of the logic itself.
 ## Goals
 
 A "goal" in Chalk can be thought of as "something we want to prove". The engine
-itself understands [`HhGoal`]s. `HHGoal`s consist of the most basic logic,
+itself understands `HhGoal`s. `HHGoal`s consist of the most basic logic,
 such as introducing Binders (`Forall` or `Exists`) or combining goals (`All`).
 On the other hand, `Context::Goal` represents an opaque goal generated
 externally. As such, it may contain any extra information or may be interned.
@@ -111,7 +111,6 @@ stack).
 [`Context`]: https://rust-lang.github.io/chalk/chalk_engine/context/trait.Context.html
 [`ContextOps`]: https://rust-lang.github.io/chalk/chalk_engine/context/trait.ContextOps.html
 [`InferenceTable`]: https://rust-lang.github.io/chalk/chalk_engine/context/trait.InferenceTable.html
-[`HhGoal`]: https://rust-lang.github.io/chalk/chalk_engine/hh/enum.HhGoal.html
 [`Solution`]: https://rust-lang.github.io/chalk/chalk_engine/context/trait.Context.html#associatedtype.Solution
 [`ExClause`]: https://rust-lang.github.io/chalk/chalk_engine/struct.ExClause.html
 [`Strand`]: https://rust-lang.github.io/chalk/chalk_engine/strand/struct.Strand.html