Add Getting Started to the ToC.

This commit is contained in:
Wen Kokke 2020-08-22 13:03:27 +02:00
parent 39a686500a
commit 12d87f4198

View file

@ -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