equal
deleted
inserted
replaced
88 need to rename some constructors, because Scala on Macs does |
88 need to rename some constructors, because Scala on Macs does |
89 not like classes that are called \pcode{EMPTY} and |
89 not like classes that are called \pcode{EMPTY} and |
90 \pcode{Empty}. |
90 \pcode{Empty}. |
91 |
91 |
92 {\small\lstinputlisting[language=Scala,numbers=none] |
92 {\small\lstinputlisting[language=Scala,numbers=none] |
93 {../progs/app03.scala}} |
93 {../progs/app01.scala}} |
94 |
94 |
95 |
95 |
96 {\small\lstinputlisting[language=Scala,numbers=none] |
96 {\small\lstinputlisting[language=Scala,numbers=none] |
97 {../progs/app02.scala}} |
97 {../progs/app02.scala}} |
98 |
98 |