「程式語言、邏輯學」修訂間的差異

跳至導覽 跳至搜尋
增加 31 位元組 、 2023年8月5日 (六) 16:53
行 51: 行 51:


== 一些小筆記 ==
== 一些小筆記 ==
* [[gensym]] - 變數名稱產生器
* [[gensym]] - (generating symbol) 變數名稱產生器 (in OCaml)


== 編輯器 ==
== 編輯器 ==

導覽選單