You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There should be a native serialization of nested ACSets that is not Catlab-compatible because it is explicitly nested. Of course, at some point, we may want to support nested ACSets in Catlab.
Then we should have conversion to and from flat acsets. Flat acsets should have Catlab-compatible serialization.
The text was updated successfully, but these errors were encountered:
There should be a native serialization of nested ACSets that is not Catlab-compatible because it is explicitly nested. Of course, at some point, we may want to support nested ACSets in Catlab.
Then we should have conversion to and from flat acsets. Flat acsets should have Catlab-compatible serialization.
The text was updated successfully, but these errors were encountered: