paragraph on normal order reduction in Untyped chapter#962

peterthiemann wants to merge 4 commits intoplfa:devplfa/plfa.github.io:devfrom

proglang:untyped-normal-order-reductionproglang/plfa.github.io:untyped-normal-order-reductionCopy head branch name to clipboard