search

coq / stdlib2

GNU Lesser General Public License v2.1
39 stars 9 forks source link

Make the roadmap of the library more explicit and add dates #12

Open Zimmi48 opened 6 years ago

Zimmi48 commented 6 years ago

Many people are eager to contribute to the stdlib2 project so it would be very useful if a more specific roadmap could be shared and regularly updated, and it should ideally include dates of expected milestones. In particular, we need to ensure that the preliminary phases do not last too long so that the collaborative phases can start (even if only for experimenting). In any case, more transparency on what's being done would help people hold their breath.

gmalecha commented 6 years ago

Would it make sense to move the project planning into the github projects feature on this repository?

As a concrete item for moving things forward, I'd like to make a list of all the current "non-standard" "standard" libraries, e.g. stdpp, ext-lib, coq-haskell, coq-prelude, etc. Where should I put such a document? I was considering putting it inside the wiki, but I'm not sure if the wiki is enabled.

maximedenes commented 6 years ago

Where should I put such a document? I was considering putting it inside the wiki, but I'm not sure if the wiki is enabled.

I think the wiki is the right place, and it seems enabled.

Zimmi48 commented 6 years ago

The wiki was not in write-access for non committers. I've changed this.

gmalecha commented 6 years ago

Thanks. I started a page for the libraries that I am aware of.

gmalecha commented 6 years ago

I asked the developers of other libraries that I am aware of to contribute notes about their work to the wiki page and we've gotten some feedback. I'm wondering if there is a way to build some plans or at least concrete experiments based on some of the high-level insights there.