IntersectMBO / IntersectMBO/formal-ledger-specifications
Change `txouts` into a `List TxOut`
Open
good first issue
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
Currently it's a map from `Ix` to `TxOut`, which is how it was done in the Shelley spec, but this is a mistake. The implementation never allows the indices to be anything but `0, ..., n`, and there's no functional reason to allow it here.
Contributor guide
Assessment
This issue has not been assessed yet.