Lazy fetching missing external deps
withered-magic opened this issue · comments
withered-magic commented
Right now we don't fetch external dependencies at all and rely on the user to do so. We can improve on this by lazily fetching dependencies as we encounter them in load
statements. Ideally whatever method we use shouldn't block autocomplete/typechecking/etc. while dependencies are being fetched.