Skip to content

Instantly share code, notes, and snippets.

@JasonGross

JasonGross/foo.v

Created September 3, 2013 20:36
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save JasonGross/6429210 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save JasonGross/6429210 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
foo.v
Module Bug.
Module Type M.
End M.
Module Type FT.
End FT.
Module F (m : M) <: FT.
End F.
Module R (ft : FT).
End R.
Module M' : M.
End M'.
Module RK := R (F M').
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment