--- a/cws/cw05.tex Wed Sep 17 15:11:48 2025 +0100
+++ b/cws/cw05.tex Wed Sep 17 16:30:09 2025 +0100
@@ -70,11 +70,12 @@
You will be marked according to the input files
\begin{itemize}
-\item\href{https://nms.kcl.ac.uk/christian.urban/cfl/progs/sqr.fun}{sqr.fun}
-\item\href{https://nms.kcl.ac.uk/christian.urban/cfl/progs/fact.fun}{fact.fun}
-\item\href{https://nms.kcl.ac.uk/christian.urban/cfl/progs/mand.fun}{mand.fun}
-\item\href{https://nms.kcl.ac.uk/christian.urban/cfl/progs/mand2.fun}{mand2.fun}
-\item\href{https://nms.kcl.ac.uk/christian.urban/cfl/progs/hanoi.fun}{hanoi.fun}
+\item\href{https://cflmark.nms.kcl.ac.uk/hg/afl-material/raw-file/tip/progs/sqr.fun}{sqr.fun}
+\item\href{https://cflmark.nms.kcl.ac.uk/hg/afl-material/raw-file/tip/progs/fact.fun}{fact.fun}
+\item\href{https://cflmark.nms.kcl.ac.uk/hg/afl-material/raw-file/tip/progs/mand.fun}{mand.fun}
+\item\href{https://cflmark.nms.kcl.ac.uk/hg/afl-material/raw-file/tip/progs/mand2.fun}{mand2.fun}
+\item\href{https://cflmark.nms.kcl.ac.uk/hg/afl-material/raw-file/tip/progs/hanoi.fun}{hanoi.fun}
+\item\href{https://cflmark.nms.kcl.ac.uk/hg/afl-material/raw-file/tip/progs/sqr.fun}{sqr.fun}
\end{itemize}
\noindent
@@ -86,9 +87,9 @@
effort. You have not copied from anyone else. An exception is the
Scala code I showed during the lectures or uploaded to KEATS, which
you can both use. You can also use your own code from the CW~1 --
-CW~4. But do not
-be tempted to ask Github Copilot for help or do any other
-shenanigans like this!
+CW~4. %But do not
+%be tempted to ask Github Copilot for help or do any other
+%shenanigans like this!
\subsection*{Task}
@@ -281,11 +282,14 @@
looking at the literature which solves the problem
with much heavier machinery.
-\item \textbf{Build-In Functions}: The `prelude' comes
- with several build-in functions: \texttt{new\_line()},
+\item \textbf{Built-In Functions}: The `prelude' comes
+ with several built-in functions: \texttt{new\_line()},
\texttt{skip}, \texttt{print\_int(n)}, \texttt{print\_space()},
- \texttt{print\_star()} and \texttt{print\_char(n)}. You can find the `prelude' for
- example in the file \texttt{sqr.ll}.
+ \texttt{print\_star()} as well as \texttt{print\_char(n)}. You
+ can find the `prelude' for
+ example in the file \texttt{sqr.ll}. When printing strings, you
+ can assume programs only contain string \emph{constants}. (see
+ for example sqr.fun and hanoi.fun).
\end{itemize}
\end{document}