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
It came up today talking about the @acset macro working only for the static ACSet Types. We should make sure that we can give it a DynamicACSet type to construct instances.
The text was updated successfully, but these errors were encountered:
It came up today talking about the
@acset
macro working only for the static ACSet Types. We should make sure that we can give it a DynamicACSet type to construct instances.The text was updated successfully, but these errors were encountered: