Closed paul019 closed 6 months ago
I converted this PR to a draft. Please open it once the pipeline is passing and once this PR is ready for my review.
Please use Squash and merge
when merging [and maybe you could also rewrite the headline to conform with the guidelines, e.g. "Improve wording: use uncertainty
instead of error
" (or something like that) instead of "Naming: error vs. uncertainty"].
Fixes #38