coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Patterns in notation

From: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Patterns in notation
Date: Fri, 07 Feb 2014 19:49:12 +0100

On 07/02/2014 18:30, Jason Gross wrote:
> It certainly seems worth a feature request on the bug tracker
> <https://coq.inria.fr/bugs/enter_bug.cgi>; I don't think I've heard
> anyone ask for it before.

I think it is not difficult to implement, actually. I'll have look into
the code.

PMP

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Patterns in notation, Andrew Kennedy, 02/07/2014
- Re: [Coq-Club] Patterns in notation, Jason Gross, 02/07/2014
  - Re: [Coq-Club] Patterns in notation, Pierre-Marie Pédrot, 02/07/2014