diff --git a/content/blog/10_compiler_polymorphism.md b/content/blog/10_compiler_polymorphism.md index 101a112..8fbfcbf 100644 --- a/content/blog/10_compiler_polymorphism.md +++ b/content/blog/10_compiler_polymorphism.md @@ -58,7 +58,7 @@ __generalization__ and __instantiation__. It's been quite a while since the last to present a table with these new rules, as well as all of the ones that we {{< sidenote "right" "rules-note" "previously used." >}} The rules aren't quite the same as the ones we used earlier; -note that \\(\sigma\\) is used in place of \\(\tau\\) in the first rule, +note that \(\sigma\) is used in place of \(\tau\) in the first rule, for instance. These changes are slight, and we'll talk about how the rules work together below. {{< /sidenote >}} I will also give a quick