coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Can this new way of displaying records be switched off, please?

From: Alexandre Pilkiewicz <alexandre.pilkiewicz AT polytechnique.org>
To: Chris Dams <chris.dams.nl AT gmail.com>
Cc: AUGER Cedric <Cedric.Auger AT lri.fr>, coq-club AT inria.fr
Subject: Re: [Coq-Club] Can this new way of displaying records be switched off, please?
Date: Fri, 1 Jul 2011 15:50:38 +0200

Hi Chris

2011/7/1 Chris Dams
<chris.dams.nl AT gmail.com>:
> The
> nice thing about the Records used to be that the field names can be
> used to get a field from a Record.

Another nice thing is that they are extracted to ocaml records, which
might be very convenient.

Cheers

Alexandre

Re: [Coq-Club] Can this new way of displaying records be switched off, please?, Chris Dams
- Re: [Coq-Club] Can this new way of displaying records be switched off, please?, Alexandre Pilkiewicz