--- Begin Message ---
Marcus, this is an excellent idea!

Alexandre

> On Jun 19, 2019, at 4:15 AM, Marcus Denker <marcus.den...@inria.fr> wrote:
> 
> 
> 
>> On 18 Jun 2019, at 19:34, Sean P. DeNigris <s...@clipperadams.com> wrote:
>> 
>> I use it sometimes. IIRC there was a paper that it was objectively better at
>> finding the "right" thing. Are you thinking of removing it?
>> 
>> 
> 
> I would like to re-implement sorting of results in a more pluggable way… so 
> that e.g. 
> people can add more sorting ideas.
> 
> But doing that in one step seems hard… it would be much easier if we could 
> simplify the system
> first.
> 
> Removing the Ocompletion (for a while) would make it much easier…
> 
>       Marcus
> 
> 



--- End Message ---

Reply via email to