From dd8c846b3e4ab5a9ab49576f2d4d9b514ebdd66e Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sat, 10 Sep 2022 17:20:09 -0700 Subject: [PATCH] Fix typo in the polymorphism article --- content/blog/10_compiler_polymorphism.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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