coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: <elilobo.v AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Strictly positive inductive types
- Date: Mon, 11 Aug 2014 22:54:50 +0200
How to force Coq to accept non-strictly positive inductive types? Is there a
flag like --no-positivity-check in Agda, to do it?
- [Coq-Club] Strictly positive inductive types, elilobo.v, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Luke Maurer, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Maxime Dénès, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Elisabet Lobo, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Maxime Dénès, 08/11/2014
- Re: [Coq-Club] Strictly positive inductive types, Luke Maurer, 08/11/2014
Archive powered by MHonArc 2.6.18.