mirre-mt/ masters-thesis
Archived
1
0
Fork 0
Code Releases 1 Activity

tex: mv citation to the end of the sentence

This commit is contained in:
surtur 2023-08-23 11:40:49 +02:00
parent b306dda9c7
commit 3512786381
Signed by: wanderer
SSH Key Fingerprint: SHA256:MdCZyJ2sHLltrLBp0xQO0O1qTW9BT/xl5nXkDvhlMCI
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tex/part-practical.tex
View File

@ -684,10 +684,10 @@ which was deemed appropriate for an on-off switch-like functionality, with the
only permissible values being either \emph{True} or \emph{False}.
Do note that in Dhall $true\ != True$, since internally \textbf{True} is a
\texttt{Bool} constant built directly into Dhall (see ``The
Prelude''~\cite{dhallprelude} for reference), while \textbf{true} is evaluated
as an \emph{unbound} variable, that is, a variable \emph{not} defined in the
current \emph{scope} and thus not \emph{present} in the current scope.
\texttt{Bool} constant built directly into Dhall (see ``The Prelude'' for
reference), while \textbf{true} is evaluated as an \emph{unbound} variable,
that is, a variable \emph{not} defined in the current \emph{scope} and thus not
\emph{present} in the current scope~\cite{dhallprelude}.
Another one of Dhall's specialties is that `$==$' and `$!=$' (in)equality
operators \textbf{only} work on values of type \texttt{Bool}, which for example