Merge pull request #38 from coq-community/fix-warning-attribute #21
tchajedAnnotations
3 warnings
|
build (coqorg/coq:dev):
src/NotationModule.v#L31
Notations "_ [ _ := _ ]" defined at level 10 with arguments constr
|
|
build (coqorg/coq:dev):
src/NotationModule.v#L35
Notations "_ [ _ := _ ]" defined at level 10 with arguments constr
|
|
build (coqorg/coq:dev):
src/RewNotation.v#L4
Alternatives to Fin.t are available, see
|