Closed epatters closed 1 month ago
Sequel to #76. Closes #77.
To make this work, the PR introduces a new approach for interop between the core and frontend: the frontend has a single data structure for object/morphism types, which are (partially) convertible to/from more specific types in the core.
Preview url: https://66ab01c1fd8f5a5d2d6fb67d--catcolab.netlify.app
Sequel to #76. Closes #77.
To make this work, the PR introduces a new approach for interop between the core and frontend: the frontend has a single data structure for object/morphism types, which are (partially) convertible to/from more specific types in the core.