Howard Lovatt

After upgrading the MicroPython plugin, I have to sometimes change the device, e.g. from PyBoard to ESP32, and then change it back again to PyBoard before MicroPython plugging will function....

How do you type hint builtins?

1

I've generated typesheds (pyi) from Micropython docs, See https://github.com/hlovatt/PyBoardTypeshed, and issued a pull request so that they will hopefully become part of the plugin. But what do about builtins.pyi? If...

Is this abandonware? I ask because nothing much has happened in the repo for years and the version of this software running on the MicroPython website is running a really...

ICloud

2

Hi, How do you access iCloud files from stash? Thanks for any help, — Howard.

mypy

1

Hi, Installed mypy via pip command but when I try and run mypy on a file I get: `: No module named 'mypy_extensions'` Anyone know what is going wrong? Thanks...