-
Notifications
You must be signed in to change notification settings - Fork 172
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Restore EquivalencMonCatNonCurried.v #1647
Comments
@m-lindgren Do you know how much work this is approximately (10 minutes, couple of hours, couple of days, a full month), and whether this is still desirable? |
The author of the file is @Kfwullaert , so he is most likely to know. |
@Kfwullaert What is your opinion on this? |
@arnoudvanderleer |
As part of refactoring monoidal categories (#1646 and originally #1644) , the material in EquivalenceMonCatNonCurried.v got commented out.
The text was updated successfully, but these errors were encountered: