Fix libaries typo in introduction.md doc file

J0s3c4rl0s · jespercockx · commit 302239f4340b · 2025-02-21T09:22:01.000+01:00
diff --git a/docs/source/introduction.md b/docs/source/introduction.md
@@ -28,7 +28,7 @@ Once installed, the agda2hs prelude bundled with agda2hs
 can be registered in the Agda config using the `agda2hs locate` command:
 
 ```sh
-agda2hs locate >> ~/.agda/libaries
+agda2hs locate >> ~/.agda/libraries
 ```
 
 Optionally, the agda2hs prelude can also be added as a default global import:
