language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-07-19 02:55:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
erg/crates/erg_compiler/lib/pystd/urllib.d
History
Exact
Shunsuke Shibayama a129141234 fix: incorrect typing & method resolution
2024-09-26 11:34:15 +09:00
..
__init__.d.er feat: add Python API type definitions 2023-05-03 00:54:05 +09:00
error.d.er feat: add Python API type definitions 2023-05-03 00:54:05 +09:00
parse.d.er fix: incorrect typing & method resolution 2024-09-26 11:34:15 +09:00
request.d.er feat: enhance http, urllib type decls 2024-04-16 10:23:54 +09:00
response.d.er feat: add Python API type definitions 2023-05-03 00:54:05 +09:00
robotparser.d.er feat: add Python API type definitions 2023-05-03 00:54:05 +09:00