Nix build script and JS support via js_of_ocaml#25

Draft

regular-citizen wants to merge 5 commits intoericfinster:freshbranchfrom

regular-citizen:nix

Commits on May 24, 2023

Added nix build script and JS target support with js_of_ocaml.
regular-citizen
committed

Commits on May 25, 2023

Minimal code editor with ace.js.
regular-citizen
committed

Commits on May 29, 2023

Commits on May 30, 2023

Wired typechecker output to editor panel.
regular-citizen
committed