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

wording fix

Browse Source
This commit is contained in:
weaversa 2020-07-05 14:54:34 -04:00
parent 1dbafa52fe
commit d4b4d5fe2f
No known key found for this signature in database
GPG Key ID: E83CF2D47CF349EC
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -264,7 +264,7 @@ Here are Cryptol's responses:
The type \texttt{Rational}\indTheRationalType represents the rational number subset
of the real line: that is, those numbers that can be represented
a ratio of integers. You can explicitly create rational values using
as a ratio of integers. You can explicitly create rational values using
the \texttt{ratio} function, which accepts the numerator and denominator
as integer values, or you can create a rational value from an
integer using the \texttt{fromInteger} function. Rational values can