Skip to content

Instantly share code, notes, and snippets.

@wires

wires/foo.v

Created November 11, 2011 06:59
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save wires/1357393 to your computer and use it in GitHub Desktop.
Save wires/1357393 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
foo.v
Require Import String.
Open Scope string_scope.
Check "tag".
Delimit Scope ex_scope with ex.
Notation "tag : body" := (tag, body) (at level 30): ex_scope.
Open Scope ex_scope.
Definition test := "tag" : "body" % ex.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment