Yet another typo.

blog/2024-06-17-automap.md

@@ -606,8 +606,8 @@ applications but rather functions *themselves*.  Typed array polymorphic
 languages like [Typed Remora](https://arxiv.org/abs/1912.13451) are a nice
 example because they demonstrates this explicitly at the type-level: just like
 how we abstract over type parameters in parametric polymorphism (e.g., `id :
-forall a. a -> a`), Remora abstracts over *shape parameters* as well (`shape
-polymorphic` might be a better name than `rank polymorphic`).  For example,
+forall a. a -> a`), Remora abstracts over *shape parameters* as well ("shape
+polymorphic" might be a better name than "rank polymorphic").  For example,
 `sum : forall S. S int -> int` (where `S` is a shape variable) might collapse
 any higher-dimensional array (say a matrix or a vector or a 36-dimensional
 tensor) into an integer. Unfortunately, this generality comes at a cost and