Anna Maria Bigatti's activity
From 15 Apr 2022 to 14 May 2022
09 May 2022
-
11:49 CoCoA-5 Design #1681: Should Starting be case-insensitive?
- yes, I think that would be a good idea, case insensitive (ci by default if we allow both).
Also available in: Atom