Content deleted Content added
m +lks |
m =Type theory= fx lk |
||
Line 39:
*[[Type inference]]
*[[Datatype]]
*[[Algebraic
*[[Type variable]]
*[[First-class value]]
|
m +lks |
m =Type theory= fx lk |
||
Line 39:
*[[Type inference]]
*[[Datatype]]
*[[Algebraic
*[[Type variable]]
*[[First-class value]]
|