Concept
Patch
A patch is a record of a change expressed as the difference between a before state and an after state, rather than a full copy of the new state. If you have applied a git diff or run patch on a source tree, you already know the shape: a patch says what to remove, what to…
The rest of “Patch” is a premium feature: every concept in the library gets a precise, practitioner-focused write-up like this one, cross-linked straight from the paper summaries that use it.
Log in to unlock→