Docs typos

GaloisInc · Jan 13, 2021 · 301c74c · 301c74c
1 parent 1c38263
commit 301c74c
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 2 deletions.
diff --git a/docs/ProgrammingCryptol.pdf b/docs/ProgrammingCryptol.pdf
diff --git a/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex b/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
@@ -3482,7 +3482,7 @@ \section{Newtype declarations}
       r = x.real * y.real - x.imag * y.imag
       i = x.real * y.imag + x.imag * y.real
 
-  cplxEq : CplxQ -> CplxQ -> CplxQ
+  cplxEq : CplxQ -> CplxQ -> Bit
   cplxEq x y = (x.real == y.real) && (x.imag == y.imag)
 
 \end{code}

diff --git a/docs/Semantics.pdf b/docs/Semantics.pdf
diff --git a/docs/Syntax.pdf b/docs/Syntax.pdf
diff --git a/src/Cryptol/Eval/Reference.lhs b/src/Cryptol/Eval/Reference.lhs
@@ -518,7 +518,7 @@ Newtypes
 --------
 
 At runtime, newtypes values are represented in exactly
-the same was as records.  The constructor function for
+the same way as records.  The constructor function for
 newtypes is thus basically just an identity function
 that consumes and ignores its type arguments.