Merge pull request KeenS#14 from susurri/patch-2

fix: typo in list-maybe-either.md

Author: KeenS

books/introduction-to-idris/list-maybe-either.md

@@ -221,7 +221,7 @@ loop [] 6              | 6
 6                      |
 ```
 
-注目してほしいのは途中で発生する式の大きさです。`foldl` の方は逐次 `+` を計算できるので式の大きさが一定です。一方で `foldr` はリストの最後にいくまで計算できないので途中式大きくなってしまいます。この途中式がスタックを消費するので効率が悪い上に、大きなリストを与えるとスタックオーバーフローが起きかねません。 `foldl` の方は途中式がないとコンパイラが見抜いてループに書き換えてくれます。なので `loop` 関数は本当にループなのです。どうして `foldl` で最適になって `foldr` で最適にならないかはここでは説明しないのでどういう条件で書き換えてくれるかは **末尾再帰の最適化** などのワードで検索してみて下さい。
+注目してほしいのは途中で発生する式の大きさです。`foldl` の方は逐次 `+` を計算できるので式の大きさが一定です。一方で `foldr` はリストの最後にいくまで計算できないので途中式が大きくなってしまいます。この途中式がスタックを消費するので効率が悪い上に、大きなリストを与えるとスタックオーバーフローが起きかねません。 `foldl` の方は途中式がないとコンパイラが見抜いてループに書き換えてくれます。なので `loop` 関数は本当にループなのです。どうして `foldl` で最適になって `foldr` で最適にならないかはここでは説明しないのでどういう条件で書き換えてくれるかは **末尾再帰の最適化** などのワードで検索してみて下さい。
 
 ## Foldable
 
@@ -335,7 +335,7 @@ map f (Just x) = Just (f x)
 ```
 
 この `map` を使えば `Just` の方の値を制御できます。
-つ
+
 次は `fromMaybe` です。 `fromMaybe` は `Maybe a` が `Just x` なら `x` を、 `Nothing` なら引数で与えた `a` の値を返します。
 
 例： `fromMaybe` の動作例
@@ -366,7 +366,7 @@ fromMaybe "No evens"
                (position list (\n => n `mod` 2 == 0)))
 ```
 
-`map` と `fromMaybe` はよく使うのでえておいて下さい。因みにそんなによくは使わないんですが、今回のユースケースだとピタリとあてはまる関数に `maybe` があります。それを使えばもう少し短くなります。
+`map` と `fromMaybe` はよく使うので覚えておいて下さい。因みにそんなによくは使わないんですが、今回のユースケースだとピタリとあてはまる関数に `maybe` があります。それを使えばもう少し短くなります。
 
 ```idris
 let list = [1, 2, 3, 4] in