From b5c4392fee8586e47674f0d6f0bee32aafb2d5b5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marko=20Dimja=C5=A1evi=C4=87?= Date: Mon, 8 Apr 2019 20:42:13 +0200 Subject: [PATCH] Removes an extra space from the table of contents --- index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.md b/index.md index 521a3327..45a23c78 100644 --- a/index.md +++ b/index.md @@ -35,7 +35,7 @@ Pull requests are encouraged. - [Properties](/Properties/): Progress and Preservation - [DeBruijn](/DeBruijn/): Inherently typed De Bruijn representation - [More](/More/): Additional constructs of simply-typed lambda calculus - - [Bisimulation](/Bisimulation/) : Relating reductions systems + - [Bisimulation](/Bisimulation/): Relating reductions systems - [Inference](/Inference/): Bidirectional type inference - [Untyped](/Untyped/): Untyped lambda calculus with full normalisation