Haskell Exercises --- Done
寫完了!真正的程式只有二十幾行,產出的 pdf 卻有六頁 XD。
- haskell_exercises.lhs: literate Haskell source script;
- haskell_exercises.pdf: document typeset by lhs2TeX and pdfLaTeX.
--
後面就比較懶得正式證明 XD。
Labels: Haskell, Program Derivation, Programming
<< 回到主頁