I added a little explanation about the GUI for this server-less service of try-ats-in-your-browser:

Here is a WebWorker-based version: http://ats-lang.github.io/EXPERIMENT/test_libatscc2js/

For the purpose of teaching, I implemented simple bi-directional communication channels based on

In case someone is familiar with WebWorker. I called postMessage twice in a row inside a worker's

Here is a webworker-based version of patsopt(JS): https://ats-lang.github.io/EXPERIMENT/

Also, various libc functions (eg, fopen) needs to be replaced, which requires a lot of work. On

I just noticed that running 2 pieces of Emscripten generated JS code could cause a conflict between

>>Something related: what's the recommended page to read about `#define` in ATS? #define

By the way, I use the following link for now: https://ats-lang.github.io/LIBRARY/libatscc2js/