The Coq mailing list

[Andrew Pennebaker <andrew.pennebaker AT gmail.com>]

Alexandre, thanks for understanding. And SF is reading great so far. :)

Christopher, I'm sorry if my tone seemed aggressive or accusatory. I respect that considering the problem domain, Coq's interface is unimaginably intuitive. The problem isn't so much Coq as the paucity of Coq documentation. Coq syntax is still too new to Google.

What if we make a Coq Newbie mailing list? I think we'd all be happier if I put my piddling syntax questions there instead of clogging up the main mailing list.

Daniel, thanks (a lot a lot) for the code examples. I understood why Coq didn't like my code, but I didn't know how to code it better.

Cheers,

Andrew Pennebaker

www.yellosoft.us