Capitalization

[vladimirias]

I suggest that we rename all the .v files in UniMath/UniMath into starting with a small letter and subdirectories into starting with a capital. This way files, as seen in the GitHub, will be ordered alphabetically.

The same probably applies to UniMath/TypeTheory.

[DanGrayson]

They seem already to be alphabetically ordered:

[benediktahrens]

@DanGrayson : your screenshot only shows capitalized file names, hence the order there is alphabetical. What @vladimirias means can be seen, e.g., in CategoryTheory, where we have file names starting with a capital letter, and others starting with tiny letters.

[DanGrayson]

Oh, thanks, now I understand. But since github always puts directories first, then files, there is no reason for us to treat directories and files differently. So let's instead capitalize the files.

[langston-barrett]

I'm working on this.

[DanGrayson]

Which way will you do it?

[langston-barrett]

@DanGrayson I've begun with your suggestion, making everything totally consistent: CapitalizedAtWordBoundaries.

EDIT: still in progress, but you can see the work so far: https://github.com/siddharthist/UniMath/tree/filenames

[arnoudvanderleer]

I believe in the meantime the standard has shifted to "all files and directories start with an uppercase letter", but that has the same effect. Can we close this issue then?