Be case insensitive in parsing identifiers

未关闭

#30 创建于 2021年11月17日 0 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

low-priority

描述

**Is your feature request related to a problem? Please describe.**

Currently, we are not case-insensitive when parsing domains and problems identifiers

**Describe the solution you'd like**
Be case insensitive in parsing identifiers.

**Describe alternatives you've considered**
n/a

**Additional context**
n/a

这个 Issue 还没有评估数据。