38 \renewcommand{\isachargreater}{$\rangle$} |
38 \renewcommand{\isachargreater}{$\rangle$} |
39 \renewcommand{\isasymsharp}{\isamath{\#}} |
39 \renewcommand{\isasymsharp}{\isamath{\#}} |
40 \renewcommand{\isasymdots}{\isamath{...}} |
40 \renewcommand{\isasymdots}{\isamath{...}} |
41 \renewcommand{\isasymbullet}{\act} |
41 \renewcommand{\isasymbullet}{\act} |
42 |
42 |
43 |
|
44 |
|
45 \definecolor{javared}{rgb}{0.6,0,0} % for strings |
|
46 \definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments |
|
47 \definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords |
|
48 \definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc |
|
49 |
|
50 \lstset{language=Java, |
|
51 basicstyle=\ttfamily, |
|
52 keywordstyle=\color{javapurple}\bfseries, |
|
53 stringstyle=\color{javagreen}, |
|
54 commentstyle=\color{javagreen}, |
|
55 morecomment=[s][\color{javadocblue}]{/**}{*/}, |
|
56 numbers=left, |
|
57 numberstyle=\tiny\color{black}, |
|
58 stepnumber=1, |
|
59 numbersep=10pt, |
|
60 tabsize=2, |
|
61 showspaces=false, |
|
62 showstringspaces=false} |
|
63 |
|
64 \lstdefinelanguage{scala}{ |
|
65 morekeywords={abstract,case,catch,class,def,% |
|
66 do,else,extends,false,final,finally,% |
|
67 for,if,implicit,import,match,mixin,% |
|
68 new,null,object,override,package,% |
|
69 private,protected,requires,return,sealed,% |
|
70 super,this,throw,trait,true,try,% |
|
71 type,val,var,while,with,yield}, |
|
72 otherkeywords={=>,<-,<\%,<:,>:,\#,@}, |
|
73 sensitive=true, |
|
74 morecomment=[l]{//}, |
|
75 morecomment=[n]{/*}{*/}, |
|
76 morestring=[b]", |
|
77 morestring=[b]', |
|
78 morestring=[b]""" |
|
79 } |
|
80 |
|
81 \lstset{language=Scala, |
|
82 basicstyle=\ttfamily, |
|
83 keywordstyle=\color{javapurple}\bfseries, |
|
84 stringstyle=\color{javagreen}, |
|
85 commentstyle=\color{javagreen}, |
|
86 morecomment=[s][\color{javadocblue}]{/**}{*/}, |
|
87 numbers=left, |
|
88 numberstyle=\tiny\color{black}, |
|
89 stepnumber=1, |
|
90 numbersep=10pt, |
|
91 tabsize=2, |
|
92 showspaces=false, |
|
93 showstringspaces=false} |
|
94 |
|
95 % beamer stuff |
43 % beamer stuff |
96 \renewcommand{\slidecaption}{APP 09, King's College London, 27 November 2012} |
44 \renewcommand{\slidecaption}{APP 09, King's College London, 3 December 2013} |
97 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
45 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
98 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
46 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
99 |
47 |
100 \begin{document} |
48 \begin{document} |
101 |
49 |