Python
/
pylyzer
mirror of https://github.com/mtshiba/pylyzer
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update README.md

This commit is contained in:
Shunsuke Shibayama 2023-04-07 11:48:10 +09:00
parent 035f91f39f
commit 95db169642
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -22,7 +22,7 @@ cargo install pylyzer
pip install pylyzer pip install pylyzer
``` ```
If installed this way, you also need to [install Erg](https://github.com/mtshiba/ergup). __If installed this way, you also need to [install Erg](https://github.com/mtshiba/ergup).__
```bash ```bash
curl -L https://github.com/mtshiba/ergup/raw/main/ergup.py | python3 curl -L https://github.com/mtshiba/ergup/raw/main/ergup.py | python3
@ -99,7 +99,8 @@ pylyzer converts Python ASTs to Erg ASTs and passes them to Erg's type checker.
* [ ] others * [ ] others
* [ ] type variable (`TypeVar`, `Generic`) * [ ] type variable (`TypeVar`, `Generic`)
* [ ] type assertion (`typing.cast`) * [ ] type assertion (`typing.cast`)
* [ ] type guard (`TypeGuard`, `is`, `isinstance`, `issubclass`) * [x] type narrowing (`is`, `isinstance`)
* [ ] type guard (`TypeGuard`)
--- ---