「程式語言、邏輯學」修訂間的差異
跳至導覽
跳至搜尋
← 較舊編輯
較新編輯 →
程式語言、邏輯學
(檢視原始碼)
於 2023年8月5日 (六) 16:53 的修訂
增加 31 位元組
、
2023年8月5日 (六) 16:53
→一些小筆記
於 2023年7月20日 (四) 23:11 的修訂
(
檢視原始碼
)
Tankianting
(
討論
|
貢獻
)
(
→邏輯學、型別理論
)
← 較舊編輯
於 2023年8月5日 (六) 16:53 的修訂
(
檢視原始碼
)
Tankianting
(
討論
|
貢獻
)
(
→一些小筆記
)
較新編輯 →
行 51:
行 51:
== 一些小筆記 ==
== 一些小筆記 ==
* [[gensym]] - 變數名稱產生器
* [[gensym]] -
(generating symbol)
變數名稱產生器
(in OCaml)
== 編輯器 ==
== 編輯器 ==
Tankianting
行政員
、
管理員
2,617
次編輯
導覽選單
個人工具
登入
命名空間
頁面
討論
變體
視圖
閱讀
檢視原始碼
檢視歷史
更多
搜尋
導覽
首頁
愛爾蘭語辭典
近期變更
隨機頁面
有關 MediaWiki 的說明
相關網站
總首頁
Blog
舊 blog
現用 blog 備份
工具
特殊頁面
可列印版