It would be nice to have a way in the Visual Studio Dafny IDE to go to the definition of something (by, say, putting the cursor on an identifier and pressing F12).
↧