--- a/LINKS	Sat Oct 27 12:17:03 2018 +0100
+++ b/LINKS	Wed Oct 31 12:51:42 2018 +0000
@@ -32,7 +32,14 @@
 
 https://github.com/sctb/lumen
 ============================
+Basic as a DSL in Scala
+https://github.com/fogus/baysick/blob/master/src/main/scala/fogus/baysick/Baysick.scala
 
+============================
+Static analysis lecture notes
+https://cs.au.dk/~amoeller/spa/spa.pdf
+
+============================
 
 Pictures from the Starting Forth book
 

Binary file handouts/ho06.pdf has changed

--- a/handouts/ho06.tex	Sat Oct 27 12:17:03 2018 +0100
+++ b/handouts/ho06.tex	Wed Oct 31 12:51:42 2018 +0000
@@ -1,4 +1,5 @@
 
+% !TEX program = xelatex
 \documentclass{article}
 \usepackage{../style}
 \usepackage{../langs}
@@ -898,13 +899,14 @@
 should be quite self-explanatory. The last two example do not produce
 any integer result because our parser does not define what to do in
 case of division (could be easily added), but also has no idea what to
-do with whitescpaces. To deal with them is the task of the lexer! Yes,
+do with whitespaces. To deal with them is the task of the lexer! Yes,
 we can deal with them inside the grammar, but that would render many
 grammars becoming unintelligible, including this one.\footnote{If you
   think an easy solution is to extend the notion of what a number
   should be, then think again---you still would have to deal with
-  cases like \texttt{\Grid{(\VS (\VS 2+3)\VS )}}. Jusat think you have
-  a grammar for a full-blown language where there are numerous such cases.}
+  cases like \texttt{\Grid{(\VS (\VS 2+3)\VS )}}. Just think of the mess 
+  you would have in a grammar for a full-blown language where there are 
+  numerous such cases.}
 
 \end{document}
 

Binary file hws/hw06.pdf has changed

--- a/hws/hw06.tex	Sat Oct 27 12:17:03 2018 +0100
+++ b/hws/hw06.tex	Wed Oct 31 12:51:42 2018 +0000
@@ -66,9 +66,9 @@
 \end{tabular}
 \end{center}
 
-there are in case two values for how these regular expressions can
+there are several values for how these regular expressions can
 recognise the string (for 1) $ab$ and (for 2) $aaa$. Give in each case
-both values and indicate which one is the POSIX value.
+all the values and indicate which one is the POSIX value.
 \item \POSTSCRIPT        
 \end{enumerate}