Removes an extra space from the table of contents
This commit is contained in:
parent
a528a8420a
commit
b5c4392fee
1 changed files with 1 additions and 1 deletions
2
index.md
2
index.md
|
@ -35,7 +35,7 @@ Pull requests are encouraged.
|
||||||
- [Properties](/Properties/): Progress and Preservation
|
- [Properties](/Properties/): Progress and Preservation
|
||||||
- [DeBruijn](/DeBruijn/): Inherently typed De Bruijn representation
|
- [DeBruijn](/DeBruijn/): Inherently typed De Bruijn representation
|
||||||
- [More](/More/): Additional constructs of simply-typed lambda calculus
|
- [More](/More/): Additional constructs of simply-typed lambda calculus
|
||||||
- [Bisimulation](/Bisimulation/) : Relating reductions systems
|
- [Bisimulation](/Bisimulation/): Relating reductions systems
|
||||||
- [Inference](/Inference/): Bidirectional type inference
|
- [Inference](/Inference/): Bidirectional type inference
|
||||||
- [Untyped](/Untyped/): Untyped lambda calculus with full normalisation
|
- [Untyped](/Untyped/): Untyped lambda calculus with full normalisation
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue