This repository was archived by the owner on Oct 12, 2022. It is now read-only.
This repository was archived by the owner on Oct 12, 2022. It is now read-only.
Update Modules to describe Import Eliding #3
Description
Define the rules for when we do and don't elide module imports, and write guidance on how to use this effectively (type, etc)