Fix glossary links

daboross · Oct 24, 2020 · b7ac5f0 · b7ac5f0
1 parent f7a2862
commit b7ac5f0
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/book/src/glossary.md b/book/src/glossary.md
@@ -24,11 +24,11 @@ This is a glossary of terminology (possibly) used in the chalk crate.
 - `exists<T> { Vec<T>: Clone }`: does there exist a `T` such that `Vec<T>`
   implements `Clone`?
 
-[Type inference variable]: ../types/rust_types.md#inference-variables
-[Bound variable]: ../types/rust_types.md#bound-variables
+[Type inference variable]: ./types/rust_types.md#inference-variables
+[Bound variable]: ./types/rust_types.md#bound-variables
 [`forall`]: #debruijn-index
-[Placeholder]: ../types/rust_types.md#placeholders
-[Clause]: ../clauses/goals_and_clauses.md
+[Placeholder]: ./types/rust_types.md#placeholders
+[Clause]: ./clauses/goals_and_clauses.md
 
 ## Binary connective
 There are sixteen logical connectives on two boolean variables. The most