coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Kouskoulas, Yanni A." <Yanni.Kouskoulas AT jhuapl.edu>
- To: Adam Chlipala <adamc AT hcoop.net>
- Cc: "coq-club AT pauillac.inria.fr" <coq-club AT pauillac.inria.fr>
- Subject: RE: [Coq-Club] available context in refine 'holes'
- Date: Sun, 11 Jan 2009 11:56:27 -0500
- Accept-language: en-US
- Acceptlanguage: en-US
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Thanks for the quick reply, Adam!
Your explanation makes sense. I will look into better understanding dependent
match annotations.
And you already know I am looking at your textbook. :)
-Yanni
- [Coq-Club] available context in refine 'holes', Kouskoulas, Yanni A.
- [Coq-Club] RE: available context in refine 'holes', Kouskoulas, Yanni A.
- Re: [Coq-Club] available context in refine 'holes',
Adam Chlipala
- RE: [Coq-Club] available context in refine 'holes', Kouskoulas, Yanni A.
Archive powered by MhonArc 2.6.16.