coq-plugin-template icon indicating copy to clipboard operation
coq-plugin-template copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Merging This Into Coq Plugin Tutorials?

Open alpaylan opened this issue 2 years ago • 3 comments

Is there a specific reason this is not in coq plugin tutorials? It would have saved me hours, probably will to others.

alpaylan avatar Apr 20 '23 19:04 alpaylan

A mention of this repo would've been nice in the plugin tutorials.

ju-sh avatar Jan 09 '24 04:01 ju-sh

The whole point of this repository is that it should be a template repository that people can clone and make their own changes to, and it includes CI configuration and other metadata that can't be included in the Coq repository. But I agree that we can link this Coq plugin tutorial in the Coq repo.

palmskog avatar Jan 22 '24 10:01 palmskog

Indeed a link seems a great idea, please folks feel free to open pull request in Coq doing so.

We could even port the plugin tutorials to dune, it hasn't been done due to lack of time.

ejgallego avatar Jan 22 '24 12:01 ejgallego