From dcae47070adceed8334510e07321e2917711c732 Mon Sep 17 00:00:00 2001
From: Shunsuke Shibayama <sbym1346@gmail.com>
Date: Mon, 19 Aug 2024 15:59:02 +0900
Subject: [PATCH] Update README.md

---
 README.md | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 77a436d..2c8a4d7 100644
--- a/README.md
+++ b/README.md
@@ -101,9 +101,9 @@ pylyzer converts Python ASTs to Erg ASTs and passes them to Erg's type checker.
   * [x] operator
   * [x] function/method
   * [x] class
-* [x] builtin modules resolving (partially)
-* [x] local scripts resolving
-* [ ] local packages resolving
+* [x] builtin modules analysis
+* [x] local scripts analysis
+* [x] local packages analysis
 * [x] collection types
   * [x] `list`
   * [x] `dict`
@@ -114,12 +114,17 @@ pylyzer converts Python ASTs to Erg ASTs and passes them to Erg's type checker.
   * [x] `Literal`
   * [x] `Callable`
   * [ ] `TypedDict`
-  * [ ] type variable (`TypeVar`, `Generic`)
+  * [ ] type variable
+    * [x] `TypeVar`
+    * [x] type parameter syntax
+    * [ ] `Generic`
   * [ ] `Protocol`
   * [ ] `Final`
   * [ ] `Annotated`
   * [ ] `TypeAlias`
-  * [ ] type guard (`TypeGuard`)
+  * [ ] type guard
+    * [x] type narrowing
+    * [ ] `TypeGuard`
   * [ ] others
 * `collections.abc`
   * [x] `Iterable`