That C* uses .cs, but nobody is complaining about C# using that extension

That C* was released in 1993

Who actually cares about the name collision?

Found another one:

https://www.cs.columbia.edu/~sedwards/classes/2021/4115-fall...

https://github.com/kkysen/cstar

And to sibling comments: I care. Non-mainstream languages are talking points. I don't want to get 15 minutes into a "you should have effects like Koka" argument and then find out the other person is talking about a different Koka.

Does it matter? Is the global namespace permanently depleted because of an obscure language that nobody has used in 30 years?