[emuuuu]

For future reference, there's an Education Edition of Pico-8 you can use for this kind of workshop.

https://www.lexaloffle.com/pico-8.php?page=schools