File tree 1 file changed +4
-4
lines changed
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.
24
24
- ` exists<T> { Vec<T>: Clone } ` : does there exist a ` T ` such that ` Vec<T> `
25
25
implements ` Clone ` ?
26
26
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
29
29
[ `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
32
32
33
33
## Binary connective
34
34
There are sixteen logical connectives on two boolean variables. The most
You can’t perform that action at this time.
0 commit comments