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's nothing wrong with depending on the NumInstances package itself. The issue is specifically the Eq and Show instances for functions, which I believe that we indeed no longer export (I just tried it out). Feel free to reopen this ticket if you have an example showing otherwise.
See https://groups.google.com/forum/?fromgroups=#!topic/diagrams-discuss/c3KhwQO3L_g
The text was updated successfully, but these errors were encountered: