Skip to content

Instantly share code, notes, and snippets.

@piyush-kurur

piyush-kurur/gist:e4be87b4d86d90eb1296d1b1faeaefc5

Created April 7, 2017 13:53
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 piyush-kurur/e4be87b4d86d90eb1296d1b1faeaefc5 to your computer and use it in GitHub Desktop.
Save piyush-kurur/e4be87b4d86d90eb1296d1b1faeaefc5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
Module Type MT.
Parameter foo : Type
Definition bar := foo -> foo
End MT.
Module M : MT.
Definition foo = nat
Definition bar = nat -> nat
(* error without the definition of bar *)
End M.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment