Skip to content

Clean up "Eta reduction for data families" Notes

Ryan Scott requested to merge wip/T17313 into master

Before, there were two distinct Notes named "Eta reduction for data families". This renames one of them to "Implementing eta reduction for data families" to disambiguate the two and fixes references in other parts of the codebase to ensure that they are pointing to the right place.

Fixes #17313 (closed).

[ci skip]

Merge request reports