Move emptyList to the top

このコミットが含まれているのは:
Julian Ospald 2015-04-15 17:45:58 +02:00
コミット 162b8e109b
この署名に対応する既知のキーがデータベースに存在しません
GPGキーID: 220CD1C5BDEED020
1個のファイルの変更2行の追加2行の削除

ファイルの表示

@ -366,12 +366,12 @@ list1 = [1, 2]
\pause
or by using the \emph{cons} operator \code{(:)} which takes an element and a list and produces a new list with the element prepended to the front.
\begin{lstlisting}
emptyList = []
list2 = 1 : []
-- is this really a list?
list3 = [1, 2] == 1 : 2 : []
emptyList = []
\end{lstlisting}
\pause
How about something more interesting: