瀏覽代碼
Add a pause
stripped-german
Julian Ospald
9 年之前
沒有發現已知的金鑰在資料庫的簽署中
GPG Key ID: 220CD1C5BDEED020
共有
1 個文件被更改,包括
1 次插入 和
0 次删除
-
VL1.tex
|
|
@@ -401,6 +401,7 @@ listLen :: [Integer] -> Integer |
|
|
|
listLen [] = 0 |
|
|
|
listLen (x:xs) = 1 + listLen xs |
|
|
|
\end{lstlisting} |
|
|
|
\pause |
|
|
|
We can also nest pattern matching: |
|
|
|
\begin{lstlisting} |
|
|
|
sumEveryTwo :: [Integer] -> [Integer] |
|
|
|