new release

Open mpscholten opened this issue 10 months ago • 0 comments

The last release of this package was already 2 years ago in 2023.

Let's merge all the remaining PRs and then tag another release (v0.7?) on hackage.

@qnikst any thoughts?

Mar 07 '25 23:03 mpscholten