Closed non closed 10 years ago
The only real change here besides version bump is that Semiring has a zero now, so I had to add that.
Closing for now. This can be done again when there's a released spire version with non/spire#190 included.
The only real change here besides version bump is that Semiring has a zero now, so I had to add that.