The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

On 07/25/2014 06:32 AM, Arnaud Spiwack wrote:

So, dear [info] user, I'm asking you:

• What do you use [info] for?
• Do you use the [info (info t)] feature?
• If you had one or two feature request for [info] to make it even slightly better, what would they be?
• Is there something which is kind of like [info] but not quite and that you really wished you had in your toolbox?

Have you read Section 16.2 of CPDT?
    http://adam.chlipala.net/cpdt/
There's a little interaction example there that I hope could be replicated in the new world.