Stream: coq-community devs & users

Topic: Templates for Coq projects


view this post on Zulip Emilio Jesús Gallego Arias (Sep 13 2021 at 17:48):

Hi folks, I'm moving the discussion we had in the Dune subtopic about templates here.

view this post on Zulip Emilio Jesús Gallego Arias (Sep 13 2021 at 17:49):

@Karl Palmskog writes on the follow up issue https://github.com/coq-community/templates/issues/105 :

he current configuration templates are very limited by the Mustache language. Théo raised the issue of changing to a more expressive language, but no consensus on what so far. We would need to express complicated relationships between "subprojects" in a repository and so on

view this post on Zulip Emilio Jesús Gallego Arias (Sep 13 2021 at 17:50):

I am not sure we need a super expressive language, for me it is more than a template should have a full project layout. Other systems do provide instead a kind of coq init tool, which will setup a new project

view this post on Zulip Emilio Jesús Gallego Arias (Sep 13 2021 at 17:50):

maybe we should go this way, but for me git clone bar... and replacing the required fields is usually good enough


Last updated: Feb 04 2023 at 02:03 UTC