search

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript
MIT License
8 stars 0 forks source link

Case insensitive namespaces #2

Closed phlegmaticprogrammer closed 10 years ago

phlegmaticprogrammer commented 10 years ago

The namespace part in a Name should be case-insensitive, but currently is not.