Commit 2022-11-17 14:37 cfff74d3
View on Github →feat: improve ToAdditive.guessName to work with capitalisation (#579)
This is a suggestion for to_additive to parse names in the new naming conventions.
It does keep capitalised abbreviations like "LE" together but it would not split a single capitalised char off.
E.g. "OneCommMonoidLEHMul_one_lt_Conj₂Pow" becomes "ZeroAddCommMonoidLEHAdd_pos_Conj₂Nsmul"