deploy: 302239f

Author: jespercockx

_sources/introduction.md.txt

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

introduction.html

@@ -117,7 +117,7 @@ <h3>Installation with Cabal<a class="headerlink" href="#installation-with-cabal"
 </div>
 <p>Once installed, the agda2hs prelude bundled with agda2hs
 can be registered in the Agda config using the <code class="docutils literal notranslate"><span class="pre">agda2hs</span> <span class="pre">locate</span></code> command:</p>
-<div class="highlight-sh notranslate"><div class="highlight"><pre><span></span>agda2hs<span class="w"> </span>locate<span class="w"> </span>&gt;&gt;<span class="w"> </span>~/.agda/libaries
+<div class="highlight-sh notranslate"><div class="highlight"><pre><span></span>agda2hs<span class="w"> </span>locate<span class="w"> </span>&gt;&gt;<span class="w"> </span>~/.agda/libraries
 </pre></div>
 </div>
 <p>Optionally, the agda2hs prelude can also be added as a default global import:</p>