Use usage information to order search results when normal distance is equal
For instance, the query
:: String -> Int lists graph copying functionality before
length. The distance for most results is the same (because it is unification-only). In this case, we can rank results that are used more often higher.
Fill in the
Cloogle.APIand sort on it.
Related to this is the change to make the index lists in the database arrays. To make this efficient,
Database.Nativemust be updated to add a (
searchIndiceswith an array (clean-and-itasks/clean-platform!234 (merged)).