Tankianting
→歸納法
23:35
+109
23:23
+74
→抽象化描述
23:20
+130
23:18
−21
無編輯摘要
23:09
+3
→1.3遞迴型別
22:29
+1,143
建立內容為「{{Nav|程式語言、邏輯學|Program=Proof筆記}} == Ch1 有型別的函數式程設 == ===1.1介紹=== <pre>(* 我是註解 *) print_endline "string" (*…」的新頁面
21:35
+3,139