From 967909c0df6808f09220d5cd22faf23f546be6ef Mon Sep 17 00:00:00 2001
From: Matthew Fernandez
Date: Thu, 2 Aug 2018 20:52:29 -0700
Subject: fix some typos

---
 doc/tutorial.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'doc/tutorial.tex')

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}
-- 
cgit v1.2.3

