Wasm bindings for diagrams for discrete theories, and frontend integration#261

Merged

epatters merged 11 commits intomainfrom

model-diagram-wasm

Nov 16, 2024

Commits on Nov 14, 2024

CLEANUP: Reduce wasm-bindgen boilerplate by deriving `From`/`TryInto`.
epatters
committed

Commits on Nov 15, 2024

Commits on Nov 16, 2024

ENH: Arrow key navigation for morphism cell editor in diagrams.
epatters
committed
ENH: Indicate validation errors in diagrams by angry red underline.
epatters
committed