coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] overloading natural number notations for user types

From: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] overloading natural number notations for user types
Date: Sat, 20 Feb 2016 01:08:29 +0100

On 20/02/2016 01:00, Jonathan Leivent wrote:
> Thanks, Robbert. Unfortunately, I guess this means "not without a
> plugin". Instead, I'll just define hopefully enough numbers via
> Notations...

Out of curiosity, what prevents you from writing / using a plugin?

PMP

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] overloading natural number notations for user types, Jonathan Leivent, 02/19/2016
- Re: [Coq-Club] overloading natural number notations for user types, Robbert Krebbers, 02/19/2016
  - Re: [Coq-Club] overloading natural number notations for user types, Jonathan Leivent, 02/20/2016
    - Re: [Coq-Club] overloading natural number notations for user types, Pierre-Marie Pédrot, 02/20/2016
      - Re: [Coq-Club] overloading natural number notations for user types, Jonathan Leivent, 02/20/2016
      - Re: [Coq-Club] overloading natural number notations for user types, Clément Pit--Claudel, 02/21/2016
      - Re: [Coq-Club] overloading natural number notations for user types, Assia Mahboubi, 02/21/2016
        
        Re: [Coq-Club] overloading natural number notations for user types, Beta Ziliani, 02/21/2016
        
        Re: [Coq-Club] overloading natural number notations for user types, Beta Ziliani, 02/21/2016
        
        Re: [Coq-Club] overloading natural number notations for user types, Jason Gross, 02/21/2016
        
        Re: [Coq-Club] overloading natural number notations for user types, Pierre-Marie Pédrot, 02/21/2016
        
        Re: [Coq-Club] overloading natural number notations for user types, Jason Gross, 02/22/2016
        Re: [Coq-Club] overloading natural number notations for user types, Jonathan Leivent, 02/22/2016
        Re: [Coq-Club] overloading natural number notations for user types, Jason Gross, 02/22/2016