spell check response

popl19/response2.md

@@ -16,7 +16,7 @@ refactorings and optimizations. For instance, upcasts, as complex
 values, can be freely (de)-duplicated, discarded if not used, and lifted
 out of loops as if they were values.  Downcasts, as complex stacks, are
 strict in their input, which aids strictness analysis, as in optimizers
-for lazy langauges.
+for lazy languages.
 
 2. **Reviewer C** asks (Question1) about the meaning of L514 and whether or not
    our syntactic theory of term dynamism and equivalence is not only sound
@@ -86,7 +86,7 @@ to values or non-effectful code).
     optimization, it's the other direction that fails for these cases right?"
 
 Yes, in the eager cast semantics, the eta law for functions should be
-an ordering `V <= \x -> V x` but it's debateable whether this means that
+an ordering `V <= \x -> V x` but it's debatable whether this means that
 the right should be allowed to be optimized to the left. This would make
 the semantics of the program dependent on the precise behavior of the
 optimizer, so it would be very hard to change the optimizer without