Mercurial Mercurial > hg > afl-material / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
handouts/ho02.tex
changeset 1003 f9aa73b45823
parent 998 5dc412b9a7fd 
--- 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