diff -r 5070392a1bd7 -r bee7c57c18c3 cws/cw02.tex --- a/cws/cw02.tex Thu Oct 26 14:30:20 2023 +0100 +++ b/cws/cw02.tex Sat Oct 28 21:00:11 2023 +0100 @@ -97,7 +97,7 @@ with leading zeroes, such as \pcode{001} \item strings are enclosed by double quotes, like \texttt{"\ldots"}, and consisting of symbols, digits, parentheses, whitespaces and \texttt{$\backslash$n} (note the latter is not the escaped version but \texttt{$\backslash$} followed by \texttt{n}, otherwise we would not be able to indicate in our strings when to write a newline). -\item comments start with \texttt{//} and contain symbols, spaces and digits until the end-of-the-line markers +\item comments start with \texttt{//} and contain symbols, spaces, parentheses and digits until the end-of-the-line markers \item endo-of-line-markers are \texttt{$\backslash$n} and \texttt{$\backslash$r$\backslash$n} \end{enumerate}