agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Conventions for consistent capitalization

Open EgbertRijke opened this issue 2 years ago • 4 comments

We should probably think about some conventions for consistent capitalization in entry names.

EgbertRijke avatar Sep 12 '23 19:09 EgbertRijke

Sentence-casing? :)

fredrik-bakke avatar Oct 16 '23 15:10 fredrik-bakke

How is sentence casing used in names of entries?

EgbertRijke avatar Oct 16 '23 15:10 EgbertRijke

Oh, I thought the issue was about header capitalization. The issue does not specify.

fredrik-bakke avatar Oct 16 '23 15:10 fredrik-bakke

Sorry about that. I fixed it now.

EgbertRijke avatar Oct 16 '23 15:10 EgbertRijke