# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1540990302 0
# Node ID d062fb6feefd150d67a05b2d8a98ab1da4e78579
# Parent  ff496c243d10c970f93f28959c8f563b6751ae31
updated

diff -r ff496c243d10 -r d062fb6feefd LINKS
--- 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
 
diff -r ff496c243d10 -r d062fb6feefd handouts/ho06.pdf
Binary file handouts/ho06.pdf has changed
diff -r ff496c243d10 -r d062fb6feefd handouts/ho06.tex
--- 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}
 
diff -r ff496c243d10 -r d062fb6feefd hws/hw06.pdf
Binary file hws/hw06.pdf has changed
diff -r ff496c243d10 -r d062fb6feefd hws/hw06.tex
--- 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}