IntersectMBO / IntersectMBO/formal-ledger-specifications
Align naming with the implementation
Open
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
There's a PR in `cardano-ledger` that renames `balance` to `sumUTxO`. We should make sure that the naming is consistent between the spec and the implementation.
https://github.com/IntersectMBO/cardano-ledger/pull/5028
Contributor guide
Assessment
This issue has not been assessed yet.