Anonymous user
Category:Typing/Compatibility/Nominative: Difference between revisions
Category:Typing/Compatibility/Nominative (view source)
Revision as of 16:33, 29 August 2009
, 14 years agoAdded some explanatory text
No edit summary |
(Added some explanatory text) |
||
Line 1:
{{feature|Typing/Compatibility}}
In this typing scheme, a type has a name and two “type instances” with the same structure but different names are different types.
| |||