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) |
m |
||
| Line 1: | Line 1: | ||
#redirect [[Dependent type]] |
#redirect [[Dependent type]] |
||
| + | |||
| + | [[Category: Pages to be removed]] |
||
Latest revision as of 04:28, 8 June 2023
Redirect to: