所有公開日誌

合併顯示所有Tan Kian-ting的維基中所有類型的日誌。您可以點選下拉式選單選擇日誌的類型，指定使用者名稱（區分大小寫）或影響的頁面（區分大小寫）。

• 2023年7月13日 (四) 18:50 Tankianting 討論 貢獻 已建立頁面 Gensym （建立內容為「{{Nav|}} Gensym 意思是 Generate Symbol，是用來產出編譯器的不和其他變數強碰的獨一無二的變數。 以下採用 OCaml 撰寫。 <pre> le…」的新頁面）