IntersectMBO / IntersectMBO/formal-ledger-specifications
Weaken `DecEq` in `TokenAlgebra`
Open
conformance
enhancement
haskell interface
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
We won't be able to have decidable equality on any token algebra based on sets. So what we need to do is weaken this to require the equivalence relation on the `CommutativeMonoid` that's part of the `TokenAlgebra` to be decidable instead. This may or may not cause some issues where this decidable equality is used.
Contributor guide
Assessment
This issue has not been assessed yet.