Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Tutorial on Type Classes and User Defined Relations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Tutorial on Type Classes and User Defined Relations

From: Pierre Casteran <pierre.casteran AT labri.fr>
To: coq-club <coq-club AT inria.fr>, Matthieu Sozeau <matthieu.sozeau AT gmail.com>
Subject: [Coq-Club] Tutorial on Type Classes and User Defined Relations
Date: Wed, 30 May 2012 11:36:43 +0200

Hi,

We are pleased to make available a small tutorial on type classes and user defined relations in Coq.

It can be found at the following adress
http://www.labri.fr/perso/casteran/CoqArt/TypeClassesTut/typeclassestut.pdf

The examples (for V8.4-beta) are in
http://www.labri.fr/perso/casteran/CoqArt/TypeClassesTut/src-V8.4.tar.gz

Any comments and/or suggestions of corrections are welcome.

Matthieu and Pierre

[Coq-Club] Tutorial on Type Classes and User Defined Relations, Pierre Casteran, 05/30/2012
- Re: [Coq-Club] Tutorial on Type Classes and User Defined Relations, Jonas B. Jensen, 05/30/2012

Archive powered by MHonArc 2.6.18.