Skip to content

Clarify Eq documentation #18713

f-a requested to merge trac-f-a/ghc:master into master

Documentation only patch that clarifies Eq properties as illustrated in #18713 (closed) (tl;dr: replaces «Substitutivity» with «Extensionality»).

Merge request reports