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 還沒有評估資料。