Provide Lake support for building widgets #12
Description
This may take the shape of a parametric buildTsx/buildNpm target, or a "synthetic JS module" (not sure whether non-Lean modules are a concept Lake supports), or something else.
{{ message }}