Skip to content

Instantly share code, notes, and snippets.

@kik

kik/gist:1019788

Created June 10, 2011 21:12
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save kik/1019788 to your computer and use it in GitHub Desktop.
Download ZIP
これか
Raw
gistfile1.txt
Definition foo (x : bool) (e : x = true) := tt.
Definition bar (x : bool) : unit :=
match x as y return x = y -> unit with
| true => fun e => foo x e
| false => fun _ => tt
end (eq_refl x).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment