Add a sentence to motivate eta-equality#1102

fangyi-zhou wants to merge 1 commit into

plfa:devplfa/plfa.github.io:devfrom

fangyi-zhou:explain-eta-equalityfangyi-zhou/plfa.github.io:explain-eta-equalityCopy head branch name to clipboard