Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Differences between 'apply _' and auto?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Differences between 'apply _' and auto?

chronological Thread

From: qTom Prince <tom.prince AT ualberta.net>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Differences between 'apply _' and auto?
Date: Tue, 06 Sep 2011 16:31:24 -0400

I am curious how apply _ works. Particularly, since I have an example
where 'apply _' works. But auto loops by triggering typeclass
resolution.

Tom

[Coq-Club] Differences between 'apply _' and auto?, qTom Prince

Archive powered by MhonArc 2.6.16.