2,617
次編輯
「玩具語言的型別推理原則」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 1： | 行 1： | ||
{{Nav|程式語言、邏輯學}} | |||
#<math>A\in{\{Int, Bool, Flo, String\}}</math> | #<math>A\in{\{Int, Bool, Flo, String\}}</math> | ||
#<math>\frac{}{n : A}</math> | #<math>\frac{}{n : A}</math> | ||