Coq Call 2023 01 04
🎊 Happy new year! 🎊
- January 4th 2023, 4pm Paris Time
- https://rdv2.rendez-vous.renater.fr/coq-call
- Organization of the Coq Working Group on January 31st/February 1st? (Matthieu, 5min)
- https://github.com/coq/coq/pull/16903 "Introduce sort variables in unification", CEP (PMP)
- "Back"/"Undo" don't undo syntax extensions" (E. Gallego Arias: I've added this, however I will likely miss the call due to being still in holidays, but maybe other devs can discuss about it as it is an extremly critical bug for IDEs)
- Coq WG January 31st/February 1st, we need to book a room (Hugo or Emilio?)
- Sort variables. Mergeable, once we choose a debug printing option (syntax is not fixed at this point, so it won't be parseable).
- Back/Undo: needs more investigation
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.