Stream: CUDW 2020

Topic: Working groups

Karl Palmskog (Nov 16 2020 at 13:54):

at the wiki, @Emilio Jesús Gallego Arias suggests to have "Working groups", and in particular a working group for Dune during CUDW. What other working groups should there be? I can think of:

• Dune
• plugin development
• opam repo / packaging
• foundations hacking (induction induction)?
• SerAPI
• CLI tools (I'm planning to work on votour)
• Coq and blockchains (?)

Should we have polls, or just announce them whenever 2+ people are interested?

Théo Zimmermann (Nov 16 2020 at 14:01):

• Coq Platform

Karl Palmskog (Nov 16 2020 at 14:10):

to be honest, maybe people who have a working group should just start a topic here an pile up tasks/ideas right now?

Karl Palmskog (Nov 16 2020 at 14:10):

it's basically either here or the wiki, and with 2+ people here might be easier.

Enrico Tassi (Nov 16 2020 at 18:02):

Maybe also

• Namespaces (https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs.20.26.20plugin.20devs/topic/WG.20about.20namespaces and https://github.com/coq/ceps/pull/25)

Emilio Jesús Gallego Arias (Nov 16 2020 at 18:12):

I have a few proposals as well, will try to catch up.

Last updated: Jun 11 2023 at 01:30 UTC