Open simonegiacomelli opened 1 year ago
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 https://github.com/pyodide/webtypy/issues/7#issuecomment-1575445349