Fix typo in the polymorphism article

This commit is contained in:
Danila Fedorin 2022-09-10 17:20:09 -07:00
parent 392b103f38
commit dd8c846b3e
1 changed files with 1 additions and 1 deletions

View File

@ -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