Update README

Author: nojima

README.md

@@ -65,6 +65,17 @@ lambda f:Nat -> Nat .
 if true then 10 else 20
 ```
 
+### 二項演算子
+
+| シンボル | 意味 | 型 | 結合
+|---------|-----|----|-----
+| `+` | 足し算 | `Nat -> Nat -> Nat` | 左
+| `-` | 引き算 | `Nat -> Nat -> Nat` | 左
+| `*` | 掛け算 | `Nat -> Nat -> Nat` | 左
+| `/` | 割り算(小数点以下切り捨て) | `Nat -> Nat -> Nat` | 左
+| `&&` | 論理積 | `Bool -> Bool -> Bool` | 左
+| `||` | 論理和 | `Bool -> Bool -> Bool` | 左
+
 ### コメント
 
 `--` による行コメントと `{- ... -}` という範囲コメントが使えます。