Update README.md

mattpolzin · Dec 2, 2023 · 2d65269 · 2d65269
1 parent 8c98a2a
commit 2d65269
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -42,7 +42,7 @@ You can add Harmony to your Flake inputs as follows:
  };
 ```
 
-Then in your outputs, being Harmony into a package install list as `harmony.packages.<system>.harmony`.
+Then, in your outputs, bring Harmony into a package install list as `harmony.packages.<system>.harmony`.
 
 ### From Source
 The build script assumes a HEAD build of Idris 2 is installed on your system. For an alternative, see the [Docker Build](#docker-build) instructions below.