Fix typos in multiplication semantics (#331)

dhall-lang · Dec 27, 2018 · 9011db0 · 9011db0
1 parent 60e396c
commit 9011db0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/standard/semantics.md b/standard/semantics.md
@@ -2261,10 +2261,10 @@ normalize to a `Natural` literal:
 
     l ⇥ m   r ⇥ n
     ─────────────  ; "m * n" means "use machine multiplication"
-    l + r ⇥ m * n
+    l * r ⇥ m * n
 
 
-Also, simplify the "plus" operator if either argument normalizes to either a
+Also, simplify the "times" operator if either argument normalizes to either a
 `0` literal: