The Coq mailing list

[Alan Schmitt <alan.schmitt AT polytechnique.org>]

Hi Thomas,

On 2015-09-10 22:21, Thomas Braibant 
<thomas.braibant AT gmail.com>
 writes:

> The plugin has not been maintained too much. However, if your inductive 
> falls
> into the scope of what it can handle [1], you should get a much 
> faster/smaller
> inversion principle out of the box. 

I’m trying to compile the plugin, and I get this error:

File "print.ml", line 28, characters 19-33:
Error: Unbound module Names.Id

I’m using coq 8.4pl6.

Thanks,

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Last week athmospheric CO₂ average (Updated September 13, 2015, Mauna Loa 
Obs.):
397.77 ppm

Attachment: signature.asc
Description: PGP signature