Clarify the meaning of "exactly once" in LinearTypes
Where is the key part of this patch? That is, what should reviewers look at first?
This is a patch for the LinearTypes documentation in the GHC User Guide. It solves documentation issue #25084 (closed).