From 12d87f4198bed6ba61b0f5fe2a4bdcea77538442 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Sat, 22 Aug 2020 13:03:27 +0200
Subject: [PATCH] Add Getting Started to the ToC.

---
 index.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.md b/index.md
index 5fe4543e..b7e70d64 100644
--- a/index.md
+++ b/index.md
@@ -15,6 +15,7 @@ Pull requests are encouraged.
 
   - [Dedication]({{ site.baseurl }}/Dedication/)
   - [Preface]({{ site.baseurl }}/Preface/)
+  - [Getting Started]({{ site.baseurl }}/GettingStarted/)
 
 ## Part 1: Logical Foundations