search

Josverl / micropython-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
https://micropython-stubs.readthedocs.io
MIT License
133 stars 21 forks source link

Mpremote mip install typings #735

Closed Josverl closed 6 months ago

Josverl commented 6 months ago

add the typing.py and typing_extensions.py stubs to the lib folder.

I'll add that to the documentation and sample repro.

Still thinking of a way to automate this, possibly using a mip install

Josverl commented 6 months ago

Closed with fd8bfe83f1fa6170f18d31091691f42a55aa44e5.

https://micropython-stubs.readthedocs.io/en/main/_typing_mpy.html