A few propositions about the module system#58

Open

herbelin wants to merge 1 commit intocoq:masterfrom herbelin:module-limitations

+78

Commits on Aug 29, 2021

A few propositions about the module system.
herbelin
committed