equal
deleted
inserted
replaced
1010 |
1010 |
1011 \end{frame} |
1011 \end{frame} |
1012 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1012 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1013 |
1013 |
1014 |
1014 |
1015 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1015 |
1016 \begin{frame}[c] |
|
1017 \frametitle{Coursework 1} |
|
1018 |
|
1019 %%\underline{Strand 1:} |
|
1020 |
|
1021 \begin{itemize} |
|
1022 \item Submission on Friday 16 October @ 18:00\medskip |
|
1023 \item source code needs to be submitted as well\medskip |
|
1024 \item you can re-use my Scala code from KEATS \\ |
|
1025 and use any programming language you like\medskip |
|
1026 \item \small https://nms.kcl.ac.uk/christian.urban/ProgInScala2ed.pdf\normalsize |
|
1027 \end{itemize} |
|
1028 |
|
1029 \end{frame} |
|
1030 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1031 |
1016 |
1032 |
1017 |
1033 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1018 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1034 \begin{frame}[t] |
1019 \begin{frame}[t] |
1035 \frametitle{Proofs about Rexps} |
1020 \frametitle{Proofs about Rexps} |
1193 \end{center} |
1178 \end{center} |
1194 |
1179 |
1195 |
1180 |
1196 \end{frame} |
1181 \end{frame} |
1197 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1182 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1183 |
|
1184 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1185 \begin{frame}[c] |
|
1186 \frametitle{Coursework 1} |
|
1187 |
|
1188 %%\underline{Strand 1:} |
|
1189 |
|
1190 \begin{itemize} |
|
1191 \item Submission on Friday 16 October @ 18:00\medskip |
|
1192 \item source code needs to be submitted as well\medskip |
|
1193 \item you can re-use my Scala code from KEATS \\ |
|
1194 and use any programming language you like\medskip |
|
1195 \item \small https://nms.kcl.ac.uk/christian.urban/ProgInScala2ed.pdf\normalsize |
|
1196 \end{itemize} |
|
1197 |
|
1198 \end{frame} |
|
1199 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1198 |
1200 |
1199 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1201 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1200 \begin{frame}[c] |
1202 \begin{frame}[c] |
1201 \frametitle{Epilogue} |
1203 \frametitle{Epilogue} |
1202 |
1204 |