Mercurial Mercurial > hg > afl-material / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated draft
authorChristian Urban <christian.urban@kcl.ac.uk>
Wed, 08 Oct 2025 16:52:45 +0100
changeset 1003 f9aa73b45823
parent 1002 4358a7def8cb
child 1004 04353d465dfb
updated
handouts/ho02.pdf file | annotate | diff | comparison | revisions
handouts/ho02.tex file | annotate | diff | comparison | revisions 
Binary file handouts/ho02.pdf has changed
--- a/handouts/ho02.tex	Wed Oct 08 10:42:10 2025 +0100
+++ b/handouts/ho02.tex	Wed Oct 08 16:52:45 2025 +0100
@@ -952,7 +952,7 @@
 we can transform this into 
 
 \[
-[] \in L(r_1) \vee []\in(r_2)
+[] \in L(r_1) \vee []\in L(r_2)
 \]
 
 \noindent We just replaced the $\textit{nullable}(\ldots)$ parts by
afl-material