author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Mon, 13 Oct 2014 06:30:09 +0100 | |
changeset 279 | f406c6677b8c |
parent 278 | c7890e677e06 |
child 280 | 267bd65b2e29 |
slides/slides04.pdf | file | annotate | diff | comparison | revisions | |
slides/slides04.tex | file | annotate | diff | comparison | revisions |
--- a/slides/slides04.tex Mon Oct 13 06:28:27 2014 +0100 +++ b/slides/slides04.tex Mon Oct 13 06:30:09 2014 +0100 @@ -603,7 +603,7 @@ \bl{$v$} & \bl{$::=$} & \\ & & \bl{$Empty$} \\ & \bl{$\mid$} & \bl{$Char(c)$} \\ - & \bl{$\mid$} & \bl{$Seq(v_1\,v_2)$}\\ + & \bl{$\mid$} & \bl{$Seq(v_1,v_2)$}\\ & \bl{$\mid$} & \bl{$Left(v)$} \\ & \bl{$\mid$} & \bl{$Right(v)$} \\ & \bl{$\mid$} & \bl{$[]$} \\