2,617
次編輯
「程式語言、邏輯學」修訂間的差異
跳至導覽
跳至搜尋
→邏輯學、型別理論
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 13： | 行 13： | ||
* [[Program=Proof筆記]] | * [[Program=Proof筆記]] | ||
* [[:File:一個外行對依值型別的理解.pdf]]（[[一個外行對依值型別的理解-文字檔|文字檔]]） | * [[:File:一個外行對依值型別的理解.pdf]]（[[一個外行對依值型別的理解-文字檔|文字檔]]） | ||
* [[:File:迴圈轉遞迴（稿）.pdf]] | * [[:File:迴圈轉遞迴（稿）.pdf]]（[[迴圈轉遞迴（稿）-文字檔|文字檔]]） | ||
== 編譯器 == | == 編譯器 == | ||