TableOfContents.md: mention PLFArend as a Derived work#1106

wadler merged 1 commit intoplfa:devplfa/plfa.github.io:devfrom

marat-rkh:patch-1marat-rkh/plfa.github.io:patch-1Copy head branch name to clipboard