--- a/XX	Sat Dec 19 00:21:13 2020 +0000
+++ b/XX	Fri Jan 22 10:39:04 2021 +0000
@@ -1,1 +1,5 @@
 https://prod.liveshare.vsengsaas.visualstudio.com/join?ABC32D5DFD18682201A8C3BD332DE315B23B
+
+
+Pygments
+

--- a/progs/fun/fun_parser.sc	Sat Dec 19 00:21:13 2020 +0000
+++ b/progs/fun/fun_parser.sc	Fri Jan 22 10:39:04 2021 +0000
@@ -163,7 +163,7 @@
 def parse_tks(tks: List[Token]) : List[Decl] = 
   Prog.parse_single(tks)
 
-@doc("Parses a file.")
+//@doc("Parses a file.")
 @main
 def main(fname: String) : Unit = {
   val tks = tokenise(os.read(os.pwd / fname))

--- a/progs/fun/fun_tokens.sc	Sat Dec 19 00:21:13 2020 +0000
+++ b/progs/fun/fun_tokens.sc	Fri Jan 22 10:39:04 2021 +0000
@@ -251,7 +251,7 @@
 
 import ammonite.ops._
 
-@doc("Tokenising a file.")
+//@doc("Tokenising a file.")
 @main
 def main(fname: String) = {
   println(tokenise(os.read(os.pwd / fname)))

Binary file slides/slides09.pdf has changed

--- a/slides/slides09.tex	Sat Dec 19 00:21:13 2020 +0000
+++ b/slides/slides09.tex	Fri Jan 22 10:39:04 2021 +0000
@@ -826,7 +826,8 @@
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
 
-
+\begin{frame}<1-20>[c]
+\end{frame}
 
 \end{document}