equal
deleted
inserted
replaced
859 \end{lstlisting} |
859 \end{lstlisting} |
860 |
860 |
861 |
861 |
862 \noindent This might seem a bit overly complicated, but its effect is |
862 \noindent This might seem a bit overly complicated, but its effect is |
863 that I can now write regular expressions such as $ab + ac$ |
863 that I can now write regular expressions such as $ab + ac$ |
864 even simpler as |
864 simply as |
865 |
865 |
866 |
866 |
867 \begin{lstlisting}[numbers=none] |
867 \begin{lstlisting}[numbers=none] |
868 scala> "ab" | "ac" |
868 scala> "ab" | "ac" |
869 res10 = ALT(SEQ(CHAR(a),CHAR(b)),SEQ(CHAR(a),CHAR(c))) |
869 res10 = ALT(SEQ(CHAR(a),CHAR(b)),SEQ(CHAR(a),CHAR(c))) |