2,735
次編輯
「程式語言、邏輯學」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 4： | 行 4： | ||
\frac{A\rightarrow B~~~A}{B} | \frac{A\rightarrow B~~~A}{B} | ||
</math> | </math> | ||
== Personal projects / 個人專案 == | |||
* [[Projects]] | |||
== 邏輯學、型別理論 == | == 邏輯學、型別理論 == | ||
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 4： | 行 4： | ||
\frac{A\rightarrow B~~~A}{B} | \frac{A\rightarrow B~~~A}{B} | ||
</math> | </math> | ||
== Personal projects / 個人專案 == | |||
* [[Projects]] | |||
== 邏輯學、型別理論 == | == 邏輯學、型別理論 == | ||