Fork me on GitHub
#asami
<
2020-12-02
>
whilo00:12:57

@quoll Ok, thanks! I have it on my todo list. I want to do a fair comparison of insertions into the index and iterating over it afterwards and I need to understand your API a bit better. I will give it a shot until our meeting on Thursday and maybe we can also discuss it briefly by then.