Open bakkot opened 7 years ago
Currently there's no way to ask of the scope lookup helper "I have a function; give me the Scope for it". There should be.
Currently there's no way to ask of the scope lookup helper "I have a function; give me the Scope for it". There should be.