Difference between revisions of "Dependent types"
Jump to navigation
Jump to search
EndreyMark (talk | contribs) (Dependent types moved to Dependent type: Wikipedia:Naming conventions (categories) advices to make a distinction between - topical lists (name be singular) - list of items (name be plural) in category names which refer to lists. As only few links point to) |
(No difference)
|
Revision as of 19:53, 25 March 2006
Redirect to: