Type compatibility: Difference between revisions

m
Moved to type system cat
m (Some grammar, a link)
m (Moved to type system cat)
Line 1:
[[Category:EncyclopediaType System]]'''Type equivalence''' describes the way types are considered equivalent when matched. Types can be equivalent:
 
* by name (nominal equivalence);
Anonymous user