typo (return => returns)

posts/2015-04-05-automated-reasoning.html

@@ -137,7 +137,7 @@ <h2>The ML family</h2>
 </code></pre>
 
 <p>The point is that a key-value store will only return a value if the key is
-present. In this example, the map takes a country (string) and return its
+present. In this example, the map takes a country (string) and returns its
 capital (string). However, when we try to take a value from the map with the
 lookup function, Haskell returns a <b>Maybe</b> type with either <b>Just
 String</b>, if the string provided is found in the map, or <b>Nothing</b> if