Comment Comment by jgrizou What is the difference with https://www.espruino.com/ ? parent jgrizou 10 months ago
