瀏覽代碼
Reword code types
stripped-german
Julian Ospald
9 年之前
沒有發現已知的金鑰在資料庫的簽署中
GPG 金鑰 ID: 220CD1C5BDEED020
共有
1 個檔案被更改,包括
3 行新增 和
3 行删除
-
VL1.tex
|
|
@@ -692,10 +692,10 @@ For haskell IDEs, see \url{https://wiki.haskell.org/IDEs} |
|
|
|
Does this compile? If not, fix it. Is this a total function? |
|
|
|
\setHaskellCodeStyle |
|
|
|
\begin{lstlisting} |
|
|
|
data FakeInt = MkDouble Double |
|
|
|
| MkInt Int |
|
|
|
data IntOrDouble = MkDouble Double |
|
|
|
| MkInt Int |
|
|
|
|
|
|
|
f :: Int -> FakeInt |
|
|
|
f :: Int -> IntOrDouble |
|
|
|
f 0 = 0.5 |
|
|
|
\end{lstlisting} |
|
|
|
\end{frame} |
|
|
|