From 01e2f47b356bbfc469d39424bda618f70666dd13 Mon Sep 17 00:00:00 2001 From: Kartik Singhal Date: Wed, 6 Jan 2021 08:32:09 -0600 Subject: [PATCH] doc: fix broken link to setup --- doc/tour.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tour.md b/doc/tour.md index aa25796e3a..17b1b9e66b 100644 --- a/doc/tour.md +++ b/doc/tour.md @@ -3,7 +3,7 @@ The best way to learn about Lean is to read and write Lean code. This article will act as a tour through some of the key features of the Lean language and give you some code snippets that you can execute on your machine. -To learn about setting up a development environment, check out [Getting Started](./gettingStarted.md). +To learn about setting up a development environment, check out [Setting Up Lean](./setup.md). There are two primary concepts in Lean: functions and types. This tour will emphasize features of the language which fall into