Skip to content
This repository has been archived by the owner on Mar 25, 2022. It is now read-only.

Commit

Permalink
Work on Marpa book
Browse files Browse the repository at this point in the history
  • Loading branch information
Jeffrey Kegler committed Mar 9, 2016
1 parent d546488 commit 61e12c7
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions recce.ltx
Original file line number Diff line number Diff line change
Expand Up @@ -6107,6 +6107,7 @@ and
}

\myparbox{%
TODO: fix \newline
$\forall \var{i} : 0 \le \var{i} < \var{n}$ \newline
\hspace*{1em} $\implies ( \Postdot{\iop{null-scan-op}{\var{n}}{\Veim{e}}}$ \newline
\hspace*{3em} $= \el{rhs}{\Dotix{\iop{null-scan-op}{\var{n}}{\Veim{e}}}})$
Expand Down

0 comments on commit 61e12c7

Please sign in to comment.