頁面歷史
跳至導覽
跳至搜尋
2024年9月11日 (星期三)
2024年9月10日 (星期二)
2024年9月3日 (星期二)
2024年7月30日 (星期二)
2024年7月17日 (星期三)
2024年7月10日 (星期三)
無編輯摘要
+72
→2.4 Church lambda→演算的推演規則 (derivation rules)
+71
→附註：本筆記使用的邏輯推演排版法
+156
→2.4 Church lambda→演算的推演規則 (derivation rules)
+67
→2.4 Church lambda→演算的推演規則 (derivation rules)
+939
2024年7月9日 (星期二)
2024年7月8日 (星期一)
→2.4 Church lambda→演算的推演規則 (derivation rules)
−2
無編輯摘要
+1,180
→2.3 Church-typing (explicit typing) 和 Curry-typing (implicit typing)
+814
無編輯摘要
+1,856
→2.2 simple type 簡單型別
+2
無編輯摘要
+1,310