From 238fd3184a5c5c5680c7ac293d2dd7defe12444a Mon Sep 17 00:00:00 2001
From: nocodeempire <tioy102@gmail.com>
Date: Wed, 23 Aug 2023 10:14:44 +0800
Subject: [PATCH 1/3] fix: typo

---
 docs/operator.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/operator.md b/docs/operator.md
index b7c0d38..edae897 100644
--- a/docs/operator.md
+++ b/docs/operator.md
@@ -376,7 +376,7 @@ type T2 = RegExp extends Animal ? number : string;
 
 上面示例中，`Dog`是`Animal`的子类型，所以`T1`的类型是`number`。`RegExp`不是`Animal`的子类型，所以`T2`的类型是`string`。
 
-一般来说，调换`extends`两侧类型，会返回相反的结果。举例来说，有两个类`Dog`和`Animal`，前者是后者的子类型，那么`Cat extends Animal`就为真，而`Animal extends Cat`就为伪。
+一般来说，调换`extends`两侧类型，会返回相反的结果。举例来说，有两个类`Cat`和`Animal`，前者是后者的子类型，那么`Cat extends Animal`就为真，而`Animal extends Cat`就为伪。
 
 如果需要判断的类型是一个联合类型，那么条件运算符会展开这个联合类型。
 

From 5a1467469fb065992eab30456a5627d39f6b0d54 Mon Sep 17 00:00:00 2001
From: nocodeempire <tioy102@gmail.com>
Date: Wed, 23 Aug 2023 14:22:14 +0800
Subject: [PATCH 2/3] fix: typo

---
 docs/mapping.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/mapping.md b/docs/mapping.md
index 91eec1f..6a9d44d 100644
--- a/docs/mapping.md
+++ b/docs/mapping.md
@@ -39,7 +39,7 @@ type B = {
 
 - `prop`：属性名变量，名字可以随便起。
 - `in`：运算符，用来取出右侧的联合类型的每一个成员。
-- `Keyof A`：返回类型`A`的每一个属性名，组成一个联合类型。
+- `keyof A`：返回类型`A`的每一个属性名，组成一个联合类型。
 
 下面是复制原始类型的例子。
 

From 0b265d2ca506a3f0b9c4324e72cd7df5e1073ab1 Mon Sep 17 00:00:00 2001
From: nocodeempire <tioy102@gmail.com>
Date: Wed, 23 Aug 2023 14:34:06 +0800
Subject: [PATCH 3/3] fix: typo

---
 docs/mapping.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/mapping.md b/docs/mapping.md
index 6a9d44d..603ca9c 100644
--- a/docs/mapping.md
+++ b/docs/mapping.md
@@ -237,7 +237,7 @@ type A<T> = {
 };
 
 // 等同于
-type B<T> = {
+type A<T> = {
   readonly [P in keyof T]?: T[P];
 };
 ```