Update Lambda.lagda.md Diamond and confluence example#1071

b-m-f wants to merge 2 commits intoplfa:devplfa/plfa.github.io:devfrom

b-m-f:patch-1b-m-f/plfa.github.io:patch-1Copy head branch name to clipboard