https://rdv2.rendez-vous.renater.fr/coq-ns seems super unstable today
CC @Cyril Cohen @Guillaume Melquiond @Hugo Herbelin
It seems to work fine for me. Maybe a transient issue?
Actually, no, forget what I said.
Not working for me
Let's try visio.inria.fr
I have another meeting that I forgot about in 20 min...
Sorry about that...
Does visio work for you guys?
Sorry, I messed my planning, I have another meeting this morning. I won't be able to attend this one.
Hugo was busy as well, maybe it's better to reschedule. Moreover, thinking about the topics, I think I would have just proposed to make examples of the NS manipulation primitives we want (in addition to open). IMO it would work better if we all came at the WG with some of these examples.
Here a framadate https://framadate.org/IKkcEPIKlbk36pl4PeIT6Qln (I'm on holidays on tuesday)
maybe also @Jason Gross can be interested in this
"Ce sondage n'existe pas !"
that was the admin link :-/
@Cyril Cohen are you available on Monday at 4PM?
Monday 4PM then
I can show up if you think my input is important, but otherwise I'm inclined to skip this one so I have a bit more time in my schedule to prepare for my upcoming PhD defense
I just wanted to keep you in the loop, if you have more pressing issues to deal with it's not a problem at all.
Thanks @gares, I'd try to join too, tho I'm not very knowledgeable about namespaces myself, I'd like to get an understanding on what the new proposal means for UI tooling.
Couple of questions after reading https://github.com/coq/ceps/pull/25#issuecomment-723988445:
I'm coming, which channel?
We should present something tomorrow at the Coq call. I'll try to find some time to work on the CEP document this afternoon, but I also want to prepare a few slides about the release. So if someone else has time to update the CEP... that would be welcome
I've updated the draft: https://github.com/coq/ceps/blob/7df4fd8ad86935a0ef1bcb1673777b055691f2da/text/025-namespaces.md
Last updated: Dec 07 2023 at 04:02 UTC