Provide a link for each definition which takes you to the search for that name

[zudov]

The simplest way would be to leverage github search, but we can get much better result if we add to pursuit the source code, or just the mapping from IdentifierName * IdentifierType to SourceLoc

[hdgarrood]

Yes. I'd like to do #137 first.

[hdgarrood]

So that I don't forget: I think the idea behind this was to be able to have a way of finding all the places a particular declaration is used in other packages, which can be helpful for people trying to work out how a particular library should be used.

[hdgarrood]

#137 is actually quite a big task and this can be done much more easily, so I think I will take back what I said about doing #137 first.

Come to think of it there is probably lots of code on GitHub which is not on Pursuit, eg code in apps rather than libraries, and which contains good examples of using various libraries, so that’s a point in favour of linking to GitHub search. Another point in favour of GitHub search is that it is trivial to implement.

[hdgarrood]

Here's a concrete proposal: I'd suggest rendering a link in the sidebar for a particular package under the dependencies section which takes you to the GitHub search for that package, with text saying something like "Search for uses of this package on GitHub".