On Dec 4, 2023, at 4:31 AM, Chuanqi Xu via SG15 <sg15@lists.isocpp.org> wrote:

Hi Ran,

Before we jump into the details and other topics, let's sure if we are interested in the raised topic (should the compiler treat std module specially to make it easier for beginners and small projects). And if I read correctly, you're agree with the direction?

FWIW, I also agree with the inclination to provide a tooling interface that’s particularly simple for small illustrative programs (the kind that a beginning student would deal with).