Jake 2bfdcf1957 implemented time.sleep monkey-patch. still need to use await before it so might just recommend use of asyncio.sleep		2025-03-24 11:16:51 +08:00
index.html	implemented time.sleep monkey-patch. still need to use await before it so might just recommend use of asyncio.sleep	2025-03-24 11:16:51 +08:00
old.html	implemented output to page console, and updates DOM after every line of code to prevent long waits	2025-03-23 17:02:14 +08:00
pyodide-worker.js	implemented time.sleep monkey-patch. still need to use await before it so might just recommend use of asyncio.sleep	2025-03-24 11:16:51 +08:00