[[fetch]] files = ["./main.py"] from pyodide.ffi import create_proxy from main import * def run(*args): draw() p5.requestAnimationFrame(create_proxy(run)) setup() run()