June 20, 2019
10:58 a.m.
Marcus, this is an excellent idea! Alexandre
On Jun 19, 2019, at 4:15 AM, Marcus Denker <marcus.denker@inria.fr> wrote:
On 18 Jun 2019, at 19:34, Sean P. DeNigris <sean@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