search

coq-community / coq-plugin-template

Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
Other
17 stars 10 forks source link

Merging This Into Coq Plugin Tutorials? #6

Open alpaylan opened 1 year ago

alpaylan commented 1 year ago

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

ju-sh commented 9 months ago

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

palmskog commented 9 months ago

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.

ejgallego commented 9 months ago

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.