Jeffrey Seyfried
Results
1
comments of
Jeffrey Seyfried
@nrc > @jseyfried, do you know how big of a change [getting all names in a scope] would be? This would be very straightforward to implement for not type-related stuff....