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: Feb 27 2024 at 23:01 UTC