jamievicary
commented
7 years ago This is a great idea and I think it would be very useful.
On Wed, Aug 3, 2016 at 9:42 PM, RamonAbudAlcala notifications@github.com wrote:
It would be useful to load old structures to new workspaces.
A simple example is, if one wants to define/draw a morphism between monoids, first you draw the two monoids and then get your hands on to draw the monoid morphism. But say someone has drawn a monoid before, and you could just load two different copies of it into your workspace.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/jamievicary/globular/issues/70, or mute the thread https://github.com/notifications/unsubscribe-auth/AKHHHsygZ-B1RpzcV0vVxVOZoRyNIUdZks5qcP1GgaJpZM4JcEvn .
It would be useful to load old structures to new workspaces.
A simple example is, if one wants to define/draw a morphism between monoids, first you draw the two monoids and then get your hands on to draw the monoid morphism. But say someone has drawn a monoid before, and you could just load two different copies of it into your workspace.