Skip to main content
2 votes
Accepted

How to reason with notations directly?

This is a general problem, not just with notations: you always have to deal with the elaborated code, not the "one you wrote". This applies to notations, but also to type-classes resolution (...
Meven Lennon-Bertrand's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible