The Coq mailing list

[Kevin Sullivan <sullivan.kevinj AT gmail.com>]

Hi folks, sorry for a newbie question. I've started playing around with types as values, but I'm not sure how to do simple computations with such values. One such computation would be comparison for equality. I'm obviously missing some basic knowlege. Here's a simple but broken program that should make my intent clear. What do I need to go read to make this work? Thanks!

Definition teq (t1 t2: Set) : bool :=

  if (t1 = t2) then true else false.

Kevin