Tell loogle to exclude something from search result

Stream: general

[Jz Pan]

Is it possible to tell loogle to exclude something from search result? For example, I want to search something mentioning IntermediateField.adjoin and Membership.mem, but not Fintype. It is natural to input the search condition IntermediateField.adjoin, Membership.mem, -Fintype. But it doesn't recognize this pattern. Is there any way to do such search?

[Joachim Breitner]

No, not yet. It’s certainly doable, I am basically trying to assess how often the need comes up, and whether it’s worth it the additional complexity for users learning the query language.

[Joachim Breitner]

I noted the request at https://github.com/nomeata/loogle/issues/6