coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Matthieu Sozeau <matthieu.sozeau AT gmail.com>
- To: Victor Porton <porton AT narod.ru>
- Cc: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] What are type classes?
- Date: Tue, 1 Nov 2011 23:16:04 +0100
Hi Victor,
It's in the manual. Type classes are a thin layer on top of dependent
records (although some special type classes are actually not records
but raw definitions).
Le 1 nov. 2011 à 22:38, Victor Porton a écrit :
> What is the difference between type classes and dependent records?
>
> --
> Victor Porton - http://portonvictor.org
- [Coq-Club] What are type classes?, Victor Porton
- Re: [Coq-Club] What are type classes?, Matthieu Sozeau
- Re: [Coq-Club] What are type classes?, Jelle Herold
Archive powered by MhonArc 2.6.16.