motivate and explain parallel reduction, plus wordsmithing

plfa / plfa.github.io

An introduction to programming language theory in Agda

https://plfa.github.io

Creative Commons Attribution 4.0 International

1.36k stars 307 forks source link

motivate and explain parallel reduction, plus wordsmithing #1020

Open nrnrnr opened 2 months ago

nrnrnr commented 2 months ago

This PR holds a small addition to the Confluence chapter. It explains a bit more what can go wrong with the diamond property and how that scenario motivates the definition of parallel reduction.

wadler commented 2 months ago

Jeremy is the primary author of Confluence, so he should review.