Skip to content

User's guide: DeepSubsumption is implied by Haskell{98,2010}

Closes #23288 (closed)

I also verified that this was in fact the only discrepancy between the user's guide and the source.

Merge request reports