fix some typos

1 files changed, 3 insertions, 3 deletions

diff --git a/doc/tutorial.tex b/doc/tutorial.tex
index d325dc4d..5bd32c67 100644
--- a/doc/tutorial.tex
+++ b/doc/tutorial.tex
@@ -69,7 +69,7 @@ defined in the Sail library. These declarations work much like FFI
 bindings in many programming languages---in Sail we provide the
 \ll{val} declaration, except rather than giving a function body we
 supply a string used to identify the external operator in each
-backend. For example, we could link the \ll{>>} operator with the
+backend. For example, we could link the \ll{<<} operator with the
 \verb|shiftl| primitive as \mrbzeightoperatorzzerozIzIznine If the
 external function has the same name as the sail function, such as
 \ll{shiftl = "shiftl"}, then we can use the shorthand syntax
@@ -419,7 +419,7 @@ match ys {
 
 Like OCaml, Sail also supports naming parts of patterns using the
 \ll{as} keyword. For example, in the above list pattern we could bind
-the entire list as ys as follows:
+the entire list as zs as follows:
 \begin{lstlisting}
 match ys {
   x :: xs as zs => print("cons with as pattern"),
@@ -869,7 +869,7 @@ val div2 : (int, int) -> option(int)
 \end{lstlisting}
 The first guarantees that if the first argument is greater than or
 equal to zero, and the second argument is greater than zero, then the
-result will be greater than or not equal to zero. If we overload these
+result will be greater than or equal to zero. If we overload these
 definitions as
 \begin{lstlisting}
 overload operator / = {div1, div2}