File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -24,11 +24,11 @@ This is a glossary of terminology (possibly) used in the chalk crate.
2424- ` exists<T> { Vec<T>: Clone } ` : does there exist a ` T ` such that ` Vec<T> `
2525 implements ` Clone ` ?
2626
27- [ Type inference variable ] : .. /types/rust_types.md#inference-variables
28- [ Bound variable ] : .. /types/rust_types.md#bound-variables
27+ [ Type inference variable ] : ./types/rust_types.md#inference-variables
28+ [ Bound variable ] : ./types/rust_types.md#bound-variables
2929[ `forall` ] : #debruijn-index
30- [ Placeholder ] : .. /types/rust_types.md#placeholders
31- [ Clause ] : .. /clauses/goals_and_clauses.md
30+ [ Placeholder ] : ./types/rust_types.md#placeholders
31+ [ Clause ] : ./clauses/goals_and_clauses.md
3232
3333## Binary connective
3434There are sixteen logical connectives on two boolean variables. The most
You can’t perform that action at this time.
0 commit comments