equal
deleted
inserted
replaced
246 \rule{11cm}{0.3mm} |
246 \rule{11cm}{0.3mm} |
247 \bigskip |
247 \bigskip |
248 |
248 |
249 \begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-7mm] |
249 \begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-7mm] |
250 def is_legal(dim: Int, p: Path, x: Pos): Boolean = |
250 def is_legal(dim: Int, p: Path, x: Pos): Boolean = |
251 ......some_really_long_condition..... |
251 !......some_really_long_condition..... |
252 \end{lstlisting}\pause |
252 \end{lstlisting}\pause |
253 |
253 |
254 |
254 |
255 \end{frame} |
255 \end{frame} |
256 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
256 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |