GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

Docs typos

Browse Source
This commit is contained in:
Rob Dockins 2021-01-12 17:00:24 -08:00
parent 1c382634eb
commit 301c74cb8f
5 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
docs/ProgrammingCryptol.pdf
View File

Binary file not shown.

2
docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
View File

@ -3482,7 +3482,7 @@ equality are straightforward.
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}

BIN
docs/Semantics.pdf
View File

Binary file not shown.

BIN
docs/Syntax.pdf
View File

Binary file not shown.

2
src/Cryptol/Eval/Reference.lhs
View File

@ -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.