tag :: lambda calculus

• 運算隨想 :: Y Combinator
• 運算隨想 :: 代數資料型態
• 運算隨想 :: 頭尾成對
• 運算隨想 :: 是的！不是！
• 運算隨想 :: 未定義是值嗎？
• 運算隨想 :: 算術的編碼
• 運算隨想 :: 真的未定義？
• 運算隨想 :: 可以不要 let 嗎？
• 運算隨想 :: 簡單是非
• 運算隨想 :: 誰是微語言？
• 運算隨想 :: 不動點
• 運算隨想 :: 等價匿名函式？