equal
deleted
inserted
replaced
497 \end{textblock}} |
497 \end{textblock}} |
498 |
498 |
499 \end{frame} |
499 \end{frame} |
500 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
500 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
501 |
501 |
502 |
502 %\begin{frame} |
503 |
503 % |
|
504 %\end{frame} |
|
505 |
|
506 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
507 %\begin{frame}[c, fragile] |
|
508 % |
|
509 %\mbox{}\bigskip\bigskip\bigskip |
|
510 % |
|
511 %\begin{lstlisting}[language=Scala,numbers=none] |
|
512 %for (y <- (0 until H).par) { |
|
513 % for (x <- (0 until W).par) { |
|
514 % |
|
515 % ... |
|
516 % |
|
517 % } |
|
518 %} |
|
519 %\end{lstlisting} |
|
520 % |
|
521 % |
|
522 %\end{frame} |
|
523 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
504 |
524 |
505 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
525 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
506 \begin{frame}[c] |
526 \begin{frame}[c] |
507 \frametitle{Types} |
527 \frametitle{Types} |
508 |
528 |
659 |
679 |
660 \mbox{}\\[-23mm]\mbox{} |
680 \mbox{}\\[-23mm]\mbox{} |
661 |
681 |
662 \begin{center} |
682 \begin{center} |
663 \begin{bubble}[10.5cm] |
683 \begin{bubble}[10.5cm] |
664 Subject: \textbf{Hate '\textbf{\texttt{val}}'}\hfill 01:00 AM\medskip\\ |
684 Subject: \textbf{Hate '\textbf{\texttt{val}}'}\hfill 01:00 AM\hspace{1cm}\medskip\\ |
665 |
685 |
666 Hello Mr Urban,\medskip\\ |
686 Hello Mr Urban,\medskip\\ |
667 |
687 |
668 I just wanted to ask, how are we suppose to work |
688 I just wanted to ask, how are we suppose to work |
669 with the completely useless \textbf{\texttt{val}}, that can’t be changed ever? Why is |
689 with the completely useless \textbf{\texttt{val}}, that can’t be changed ever? Why is |
685 |
705 |
686 \mbox{}\\[-25mm]\mbox{} |
706 \mbox{}\\[-25mm]\mbox{} |
687 |
707 |
688 \begin{center} |
708 \begin{center} |
689 \begin{bubble}[10.5cm] |
709 \begin{bubble}[10.5cm] |
690 Subject: \textbf{Re: Hate '\textbf{\texttt{val}}'}\hfill 01:02 AM\bigskip\bigskip\\ |
710 Subject: \textbf{Re: Hate '\textbf{\texttt{val}}'}\hfill 01:02 AM\hspace{1cm}\bigskip\bigskip\\ |
691 |
711 |
692 \textcolor{black!70}{ |
712 \textcolor{black!70}{ |
693 \textit{\large<<my usual rant about fp\ldots\\ concurrency bla bla\ldots{} better programs |
713 \textit{\large<<my usual rant about fp\ldots\\ concurrency bla bla\ldots{} better programs |
694 yada>>}}\bigskip\bigskip\bigskip |
714 yada>>}}\bigskip\bigskip\bigskip |
695 |
715 |
704 \begin{frame}[c,fragile] |
724 \begin{frame}[c,fragile] |
705 |
725 |
706 \begin{textblock}{6}(0.5,0.5) |
726 \begin{textblock}{6}(0.5,0.5) |
707 \begin{bubble}[11.5cm] |
727 \begin{bubble}[11.5cm] |
708 \small |
728 \small |
709 Subject: \textbf{Re: Re: Hate '\textbf{\texttt{val}}'}\hfill 01:04 AM\medskip\\ |
729 Subject: \textbf{Re: Re: Hate '\textbf{\texttt{val}}'}\hfill 01:04 AM\hspace{1cm}\medskip\\ |
710 |
730 |
711 \textbf{Right now my is\_legal function works fine:} |
731 \textbf{Right now my is\_legal function works fine:} |
712 |
732 |
713 \footnotesize\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm] |
733 \footnotesize\begin{lstlisting}[language=Scala, numbers=none, xleftmargin=-1mm] |
714 def is_legal(dim: Int, path: Path)(x: Pos): Boolean = { |
734 def is_legal(dim: Int, path: Path)(x: Pos): Boolean = { |