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

Fix typos in Cryptol prelude docstrings.

Browse Source
This commit is contained in:
Brian Huffman 2018-07-20 15:32:39 -07:00
parent 69ec23e96b
commit ed757860bf
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/Cryptol.cry
View File

@ -233,7 +233,7 @@ sext x = newbits # x
where newbits = if x@0 then ~zero else zero
/**
* Short-cutting boolean conjuction function.
* Short-cutting boolean conjunction function.
* If the first argument is False, the second argument
* is not evaluated.
*/
@ -241,7 +241,7 @@ sext x = newbits # x
x /\ y = if x then y else False
/**
* Short-cutting boolean disjuction function.
* Short-cutting boolean disjunction function.
* If the first argument is True, the second argument
* is not evaluated.
*/