coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] finite data types

From: Fritjof Bornebusch <fritjof AT uni-bremen.de>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] finite data types
Date: Wed, 20 Mar 2019 13:33:58 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fritjof AT uni-bremen.de; spf=Pass smtp.mailfrom=fritjof AT uni-bremen.de; spf=None smtp.helo=postmaster AT smtp.uni-bremen.de
Ironport-phdr: 9a23:TArq/hWvEHGV2NZPm3rO/bauyZPV8LGtZVwlr6E/grcLSJyIuqrYYxCOt8tkgFKBZ4jH8fUM07OQ7/m4HzJeqs3R+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiqoQnLt8QbgIRuJ6gyxxDUvnZGZuNayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnDVhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0jioMKjg0+3zVhMNtlqJWuByvqRxhzYDJY4+VOvVxcb/ActwYXmdBQtpdWjZdDo+gc4cCDewMNvtYoYnnoFsOqAOzCwm2BOPu1j9IhHj23aMn2Ok8FgHGxgogEMwVv3TJt9X6KKcSWv2ywanG1zXDbu9W2TX66IjGaR0hvPeMXbNpfcXK00kgCQbFgUuWqYD/IjyayP0Avm6G5ORjTeKik3Mrpg9+rzS128sglpfFipgVx1zY7yl13YQ4KcWlREN1btOoCoZcuz2EO4dsXM8uXmJltDwkxrEbupO2ejUBxo49yB7FcfOHdpCF4hL9W+aVJjd1nGlleLejhxaq60Sg1+v8Vsit3FlRtCpKjNzMuW4L1xDJ98eIVONx/kan2TmRywDe8vxILE47mKbBNpIt3qA8moATvEjfBCP6hUf7gLeTdko+++io7+rnYq/hpp+ZL4J0hBv+MqUymsy9BuQ4PBMDX3Wd+eS9zbHs5lf5T6tPjvIolKnVqo3VKtoDqq6jHwBVypoj6wq4Dzq+zNsYmmAHIEtZdxKDkojmIErDIOv4DPe6m1Sjii1nx/HAPr37A5XCNGLPkLn7feU110kJww0qiNtb+ph8C7cbIfu1VFWimsbfC0oXKQ2oweHpQP96zIUTU3+UCa/RZK3IsEOK4ewHPu+NIYUPtTPwLb4p6qi93jcChVYBcPzxjtMsY3eiE6E+ehTLUT/Xmt4EVFwykE87Re3uhkeFVGcONWu0Xuc2/Dw+BYTgAYqRH9nx0ozE5z+yG9htXk4DEkqFSCq6aoOFHv0WZSefJIltn25cDOXze8oazRir8TTC5f9nI+7ToHVKrpf/zJ5o4eyWnws/8DFySciQgTmA

Hi,

thanks for the suggestions.
I'm currently using CompCert as Library.

--f.

[Coq-Club] finite data types, fritjof, 03/18/2019
- Re: [Coq-Club] finite data types, Mario Alvarez Picallo, 03/18/2019
- Re: [Coq-Club] finite data types, Jan Bessai, 03/18/2019
- Re: [Coq-Club] finite data types, Maximilian Wuttke, 03/18/2019
  - Re: [Coq-Club] finite data types, Gregory Malecha, 03/19/2019
- Re: [Coq-Club] finite data types, Alix Trieu, 03/19/2019
  - Re: [Coq-Club] finite data types, Xavier Leroy, 03/19/2019
    - Re: [Coq-Club] finite data types, Gaëtan Gilbert, 03/19/2019
      - Re: [Coq-Club] finite data types, Xavier Leroy, 03/19/2019
        
        Re: [Coq-Club] finite data types, Fritjof Bornebusch, 03/20/2019
        
        Re: [Coq-Club] finite data types, Emilio Jesús Gallego Arias, 03/20/2019