GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-02 23:25:03 +03:00
Code Issues Projects Releases Wiki Activity

Fix outdated reference to inf a constraint in docs.

Browse Source
This commit is contained in:
Brian Huffman 2017-10-05 10:20:57 -07:00
parent 0478ec434c
commit 7b0b8836c0
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1841,9 +1841,9 @@ In general, type predicates exclusively describe \textit{arithmetic
constraints on type variables}. Cryptol does not have a
general-purpose dependent type system, but a \emph{size-polymorphic
type system}. Often type variables' values are of finite size,
indicated with the constraint {\tt fin a}\indFin, otherwise no
constraint is mentioned or an explicit \texttt{inf a} is
denoted\indInf, and the variables' values are unbounded. Arithmetic
indicated with the constraint {\tt fin a}\indFin; otherwise no
constraint is mentioned, and the variables' values are unbounded,
possibly taking the value \texttt{inf}\indInf. Arithmetic
relations are arbitrary relations over all type variables, such as
{\tt 2*a+b >= c}. We shall see more examples as we work through
programs later on.