stefan.kruger
2019-11-20 12:18:40
In the data/pvector
module, is it possible to remove an element from the vector in constant time?
lexi.lambda
2019-11-20 13:59:22
@stefan.kruger No. It would be possible if the implementation used RRB-vectors, but I never got around to implementing them. PRs welcome. :)
stefan.kruger
2019-11-20 14:11:39
Oo challenge :)
samth
2019-11-20 14:29:14
There’s already an rrb-vector implemention on the package server that you could start from
samth
2019-11-20 21:49:39
removed an integration from this channel: https://racket.slack.com/services/B4J8HSH5W\|incoming-webhook
anything
2019-11-21 00:03:43
@anything has joined the channel