Correct typos in lesson 01

Author: lambdacc

lessons/01-Introduction-to-haskell.ipynb

@@ -300,10 +300,10 @@
         }
       },
       "source": [
-        "* It lets you easily deduce and prove that a funciton is correct.\n",
+        "* It lets you easily deduce and prove that a function is correct.\n",
         "* In Haskell one can always “replace equals by equals”, just like you learned in algebra class.\n",
-        "* Makes your code significantly less error prone.\n",
-        "* Its easier to do parallel/concurren computing. (If there is no data dependency between two pure expressions, then they can be performed in parallel and they cannot interfere with one another.)\n",
+        "* Makes your code significantly less error-prone.\n",
+        "* Its easier to do parallel/concurrent computing. (If there is no data dependency between two pure expressions, then they can be performed in parallel and they cannot interfere with one another.)\n",
         "* The list goes on..."
       ]
     },
@@ -315,7 +315,7 @@
         }
       },
       "source": [
-        "**Haskell works as a pure language, but allows for side effects (network communication, I/O, etc.) by explicitly tagging them in the type system.** We'll see how in future lessons. (This is called having \"*expicit effects*\")."
+        "**Haskell works as a pure language, but allows for side effects (network communication, I/O, etc.) by explicitly tagging them in the type system.** We'll see how in future lessons. (This is called having \"*explicit effects*\")."
       ]
     },
     {
@@ -605,7 +605,7 @@
         }
       ],
       "source": [
-        "-- A function that takes the temperature in Fahrenheith and returns it in Celsius\n",
+        "-- A function that takes the temperature in Fahrenheit and returns it in Celsius\n",
         "fToC x = (x - 32) * 5 / 9\n",
         "fToC 212  -- 100\t"
       ]