coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] body is hidden -- why and how to reveal it?

From: Dmitry Grebeniuk <gdsfh1 AT gmail.com>
To: Stéphane Glondu <coq-club AT inria.fr>
Subject: Re: [Coq-Club] body is hidden -- why and how to reveal it?
Date: Thu, 1 Aug 2013 16:09:36 +0300

Hello.

Thank you! It works, also I've applied this trick to buf', it
worked too, so I've constructed this function successfully.

However I can't understand why it works. There should be some
low-level reasons, and it's interesting to know about them.

[Coq-Club] body is hidden -- why and how to reveal it?, Dmitry Grebeniuk, 08/01/2013
- Re: [Coq-Club] body is hidden -- why and how to reveal it?, Stéphane Glondu, 08/01/2013
  - Re: [Coq-Club] body is hidden -- why and how to reveal it?, Dmitry Grebeniuk, 08/01/2013
    - Re: [Coq-Club] body is hidden -- why and how to reveal it?, Arnaud Spiwack, 08/02/2013