coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Patricia Peratto" <psperatto AT adinet.com.uy>
- To: "coqclub" < coq-club AT inria.fr>
- Subject: [Coq-Club] operator
- Date: Thu, 14 Jun 2012 10:21:30 -0300
|
What means the operator <+ by example
in
Module Type EqLt := Typ <+ HasEq <+
HasLt.
(Library Orders.)
Patricia
|
- [Coq-Club] operator, Patricia Peratto, 06/14/2012
- Re: [Coq-Club] operator, AUGER Cédric, 06/14/2012
Archive powered by MHonArc 2.6.18.