up

cicada-lang · Aug 7, 2023 · 6119e64 · 6119e64
1 parent 2c33497
commit 6119e64
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/articles/type-system-as-homomorphism-between-monoids.md b/docs/articles/type-system-as-homomorphism-between-monoids.md
@@ -68,7 +68,7 @@ If `x` and `y` are elements, so is `x y`.
 Since `infer` is a homomorphism, we have:
 
 ```
-infer(x y) = infer(x) infer(y)
+<infer> x y </infer> = <infer> x </infer> <infer> y </infer>
 ```
 
 ## The plan