language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-12-23 05:36:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
erg/crates/erg_compiler/lib/pystd/urllib.d
History
Exact
Shunsuke Shibayama f6ea1d1d79 feat: enhance http, urllib type decls
2024-04-16 10:23:54 +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
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