coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Marcus Ramos <marcus.ramos AT univasf.edu.br>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Cannot infer the implicit parameter B of inl
- Date: Tue, 17 Jun 2014 13:38:49 +0200
Hi,
I get the error message "Cannot infer the implicit parameter B of inl."
when using apply.. with...
How do I fix it?
Thanks,
Marcus.
- [Coq-Club] Cannot infer the implicit parameter B of inl, Marcus Ramos, 06/17/2014
- Re: [Coq-Club] Cannot infer the implicit parameter B of inl, Greg Morrisett, 06/17/2014
- Re: [Coq-Club] Cannot infer the implicit parameter B of inl, Cedric Auger, 06/17/2014
- Re: [Coq-Club] Cannot infer the implicit parameter B of inl, Greg Morrisett, 06/17/2014
Archive powered by MHonArc 2.6.18.