kill all orphans and widows

[phd-thesis.git] / appx / c4hp.tex

diff --git a/appx/c4hp.tex b/appx/c4hp.tex
index c610e92..abde24f 100644 (file)
--- a/appx/c4hp.tex
+++ b/appx/c4hp.tex
@@ -68,7 +68,7 @@ f :: v:a u:b -> u:b, [v<=u]  // f works when a is less unique than b
 \subsection{Expressions}
 Patterns in \gls{CLEAN} can be used as predicates as well \citep[\citesection{3.4.3}]{plasmeijer_clean_2021}.
 Using the \cleaninline{=:} operator, a value is tested against a pattern.
-Variable names are not allowed but wildcard patterns \cleaninline{\_} are.
+Variable names are not allowed but wildcard patterns (\cleaninline{\_}) are.
 
 \begin{lstClean}[label={lst:matches_pattern_expression},caption={Examples of \emph{matches pattern} expressions.}]
 isNil :: [a] -> Bool