search

whitequark / Sublime-Coq

Coq programming language support for Sublime Text
MIT License
7 stars 9 forks source link

seems double-quoted strings are not supported #21

Open Alexey-T opened 3 years ago

Alexey-T commented 3 years ago

file Arguments.v from Coq official repo has them.

Notation "$" := 3 (only parsing) : foo_scope.
Notation "$" := true (only parsing) : bar_scope.
Alexey-T commented 3 years ago

and file applyTC.v from Coq repo.


Notation "{val:= v }" := (@val _ v).