Skip to content

remove disjointness->disjointedness#3608

Merged
DimitriPapadopoulos merged 1 commit intocodespell-project:mainfrom
DimitriPapadopoulos:disjointness
Apr 28, 2025
Merged

remove disjointness->disjointedness#3608
DimitriPapadopoulos merged 1 commit intocodespell-project:mainfrom
DimitriPapadopoulos:disjointness

Conversation

@DimitriPapadopoulos
Copy link
Collaborator

@DimitriPapadopoulos DimitriPapadopoulos commented Dec 10, 2024

While disjointness is missing from the OED and other mainstream dictionaries, as well as SCOWL (And Friends), it is commonly used to describe disjoint sets in the context of mathematics.

Move it to the rare dictionary?

@DimitriPapadopoulos DimitriPapadopoulos changed the title remove disjointness->disjointiedness remove disjointness->disjointedness Dec 10, 2024
@DimitriPapadopoulos DimitriPapadopoulos force-pushed the disjointness branch 2 times, most recently from 440c775 to 4daa469 Compare December 10, 2024 09:52
@DimitriPapadopoulos DimitriPapadopoulos added the dictionary Changes to the dictionary label Dec 10, 2024
While `disjointness` is missing from the OED and other mainstream
dictionaries, it is commonly used to descrbe disjoint sets in the
context of mathematics.
@DimitriPapadopoulos DimitriPapadopoulos merged commit 209ff11 into codespell-project:main Apr 28, 2025
15 checks passed
@DimitriPapadopoulos DimitriPapadopoulos deleted the disjointness branch April 28, 2025 10:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dictionary Changes to the dictionary

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant