GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-05 15:07:12 +03:00
Code Issues Projects Releases Wiki Activity

Fix incorrect spacing after abbreviation "vs."

Browse Source
This commit is contained in:
Brian Huffman 2017-10-05 11:08:34 -07:00
parent 6d484c854d
commit 361be3827e
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

@ -2877,7 +2877,7 @@ yields the inferred type:
\end{Answer}
%=====================================================================
\section{Type vs. value variables}\indTypeVariables
\section{Type vs.\ value variables}\indTypeVariables
\label{sec:type-vs.-value}
\todo[inline]{Rewrite this whole section to better clarify object- vs. type
@ -2920,7 +2920,7 @@ statically---they never change at runtime.\footnote{In this way,
the term ``type-level naturals''.}
%~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
\subsection{Positional vs. named type
\subsection{Positional vs.\ named type
arguments}\indTypePositionalArguments
\label{sec:positional-vs.-named}
@ -2968,7 +2968,7 @@ clear, as in:
resolution, in the presence of positional arguments.}
%~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
\subsection{Type context vs. variable context}\indTypeContext
\subsection{Type context vs.\ variable context}\indTypeContext
\label{sec:type-context-vs}
You have seen, in the discussion of type variables above, that Cryptol