dev meeting 2024 12 11

Jump to bottom Edit New page

Etienne Marais edited this page Dec 10, 2024 · 7 revisions

Agenda

Discuss In and Out problem
Inclusion of @nojb proposition in dune.3.17.1 and the rules with Dune releases (@maiste)
Module -> Lib discussion (@maiste)