> It would be nice if there is a guide on how users (potential contributors) can build .pyi file locally from this repository. _Originally posted by @ryanking13 in https://github.com/pyodide/webtypy/issues/7#issuecomment-1575445349_
Originally posted by @ryanking13 in #7 (comment)