Use WebWorkers and a cache for js-of-ocaml#1739

Merged

JasonGross merged 1 commit intomit-plv:masterfrom JasonGross:js-of-ocaml-webworkers

Nov 19, 2023

+83-27

Commits on Nov 19, 2023

Use WebWorkers and add a cache
JasonGross
committed