coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] how to determine the lever number and associativity

From: coqcdp <coqcdpnxj AT 163.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] how to determine the lever number and associativity
Date: Tue, 22 Jul 2014 21:10:35 +0800 (CST)

Hi,

Recently I have learnt a coq sentence “Notation "%":= lt (at level 50,left associativity)”，since I'm a new learner， I set the number 60 it works and when I set the number 50 it also works,

So I am confused, how the number of lever and "left or right associatity" work there? Does it really effect the program latter using this notation ?

Yours Sincerely, D.P.Chen.

[Coq-Club] how to determine the lever number and associativity, coqcdp, 07/22/2014
- Re: [Coq-Club] how to determine the lever number and associativity, Cedric Auger, 07/22/2014