2,617
次編輯
「型別理論與形式證明筆記」修訂間的差異
→2.8-2.13
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 291： | 行 291： | ||
== 2.8-2.13 == | == 2.8-2.13 == | ||
參'''[[:檔案:型別理論與形式證明筆記Sec2.8-2. | 參'''[[:檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf|此pdf]]'''。 | ||
=附註：本筆記使用的邏輯推演排版法= | =附註：本筆記使用的邏輯推演排版法= | ||