coquedille icon indicating copy to clipboard operation
coquedille copied to clipboard
verified publisher icon pedrotst

Change names that start with an underscore

Open pedrotst opened this issue 5 years ago • 0 comments

Cedille does not accept names to start with an underscore.

Check Coq.Init.Logic.neg_false for an example of where this causes a failure.

pedrotst avatar Apr 18 '20 18:04 pedrotst