Nov 12, 2022
There is this errgroup package that I recently discovered. I've not played with it yet, but thought it might be worth a mention.
There is this errgroup package that I recently discovered. I've not played with it yet, but thought it might be worth a mention.