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
We cache the output of yoneda using yoneda_cache, but this creates a file based on the name of the ACSet. This could lead to name collisions (two different ACSet schemas which happen to share a name) and mystifying errors when one tries to read from the cache after the data of the schema has changed. One possible solution to these issues is to make the file name a hash of the content of the Presentation.
The text was updated successfully, but these errors were encountered:
We cache the output of
yoneda
usingyoneda_cache
, but this creates a file based on the name of the ACSet. This could lead to name collisions (two different ACSet schemas which happen to share a name) and mystifying errors when one tries to read from the cache after the data of the schema has changed. One possible solution to these issues is to make the file name a hash of the content of the Presentation.The text was updated successfully, but these errors were encountered: