From 7c8b72ae251e93f6cbdcbd3ad71637026a4d0646 Mon Sep 17 00:00:00 2001
From: Michael Morehouse <640167+yawpitch@users.noreply.github.com>
Date: Sun, 28 Feb 2021 16:58:17 +0000
Subject: [PATCH] Corrects "Windwos" -> "Windows"

Not my favorite OS, but Windows users might well search the file for occurrences and miss this one.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 44cf95ac..bbd4be4c 100644
--- a/README.md
+++ b/README.md
@@ -111,7 +111,7 @@ git checkout v1.3
 ```
 Finally, we need to let Agda know where to find the Agda standard library.
 You'll need the path where you installed the standard library. Check to see that the file “standard-library.agda-lib” exists, and make a note of the path to this file.
-You will need to create two configuration files in “AGDA_DIR”. On UNIX and macOS, “AGDA_DIR” defaults to “~/.agda”. On Windwos, “AGDA_DIR” usually defaults to “%AppData%\agda”, where “%AppData%” usually defaults to “C:\Users\USERNAME\AppData\Roaming”.
+You will need to create two configuration files in “AGDA_DIR”. On UNIX and macOS, “AGDA_DIR” defaults to “~/.agda”. On Windows, “AGDA_DIR” usually defaults to “%AppData%\agda”, where “%AppData%” usually defaults to “C:\Users\USERNAME\AppData\Roaming”.
 
 - If the “AGDA_DIR” directory does not already exist, create it.
 - In “AGDA_DIR”, create a plain-text file called “libraries” containing the “/path/to/standard-library.agda-lib”. This lets Agda know that an Agda library called “standard-library” is available.