Stream: Dune devs & users

Topic: Dune session for the upcoming Working Group


view this post on Zulip Emilio Jesús Gallego Arias (Feb 03 2022 at 13:28):

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

view this post on Zulip Emilio Jesús Gallego Arias (Feb 03 2022 at 13:28):

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

view this post on Zulip Emilio Jesús Gallego Arias (Feb 03 2022 at 13:28):

hopefully we get many of the wishlist things done that week


Last updated: Mar 28 2024 at 11:01 UTC