search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

Proposal to start project "Rosetta stone of meta-programming" in coq-community #147

Closed yforster closed 1 year ago

yforster commented 1 year ago

Rosetta stone of meta-programming:

Initial author(s): @yforster @tlringer @ecranceMERCE @gares @MSoegtrop

Current URL: n/a

Kind: different examples of tactics, plugins, etc written in different meta-programming languages

License: MIT

Description:

Status: new project

New maintainer: @yforster

palmskog commented 1 year ago

@yforster this looks reasonable to me, but what do you want to call the project repo?

Due process also requires that we get explicit approval from all authors for this project (a message on Zulip suffices).

Zimmi48 commented 1 year ago

I think since this is a new project, creating it here and having initial authors push to it would be explicit approval.

palmskog commented 1 year ago

@Zimmi48 but this is actually about transferring code from another repo to the new repo, and the previous repo has many authors.

palmskog commented 1 year ago

We now have approval for the contents of the repo here. @yforster please go ahead and create the repo with initial content when convenient (hopefully with a reasonably descriptive and succinct name).

MSoegtropIMC commented 1 year ago

how about "tactic-rosetta-stone" as project name?

palmskog commented 1 year ago

The repo was created, so let's close this and continue discussions elsewhere, e.g., as repo issues on Zulip: https://github.com/coq-community/metaprogramming-rosetta-stone