IntersectMBO / IntersectMBO/formal-ledger-specifications
Discuss changing the well-formedness check of `TreasuryWdrl`
Open
era: dijkstra
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
We've had a small [discussion](https://github.com/IntersectMBO/formal-ledger-specifications/pull/661#discussion_r1937095942) that it might make more sense to just forbid zeros entirely in `TreasuryWdrl`, rather than to just force a single non-zero entry. We can't change it now, but it might be something to do for the future.
Contributor guide
Assessment
This issue has not been assessed yet.