Hi folks, I've added some more detail on the upcoming Dune + Coq session at the Winter Coq Hackthon, see here https://github.com/coq/coq/wiki/CoqWG-2022-02#dune-session

Feel free to add your own contributions, and your name so we can schedule the session properly

hopefully we get many of the wishlist things done that week

Last updated: Jan 30 2023 at 18:04 UTC