Message285529
I think it should be separate from mypy_extensions, since it's not even
related to mypy.
Regarding typing.re and typing.io, typing.inspect would be a typed version
of the inspect module, so that's not quite the same. (Though I consider
typing.re/io mistakes now -- people seem to mostly ignore it and use the
toplevel names.) |
|
Date |
User |
Action |
Args |
2017-01-15 23:20:17 | gvanrossum | set | recipients:
+ gvanrossum, flying sheep, levkivskyi, evan_ |
2017-01-15 23:20:17 | gvanrossum | link | issue29262 messages |
2017-01-15 23:20:17 | gvanrossum | create | |
|