coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] functor application

From: Laurent Thery <Laurent.Thery AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] functor application
Date: Fri, 28 Oct 2016 10:20:41 +0200

On 10/28/2016 10:17 AM, Soegtrop, Michael wrote:

Dear Laurent,

It is a kind of chinese doll

In Germany we call it a Russian doll. Indeed the module structure of many
libraries has similarity with this picture:

In french too, my brain simply merges russian doll and chinese puzzle ;-)

[Coq-Club] functor application, Patricia Peratto, 10/27/2016
- Re: [Coq-Club] functor application, Laurent Thery, 10/28/2016
  - RE: [Coq-Club] functor application, Soegtrop, Michael, 10/28/2016
    - Re: [Coq-Club] functor application, Laurent Thery, 10/28/2016
      - Re: [Coq-Club] functor application, Robert Merkin, 10/29/2016
- RE: [Coq-Club] functor application, Soegtrop, Michael, 10/28/2016