IntersectMBO / IntersectMBO/formal-ledger-specifications
Couldn't find an explanation of donations in Conway spec
Open
documentation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
`donations` is a field of `UTxOState`. I checked the `Ledger.Conway.Utxo` and the CIP, and couldn't find any explanations.
Contributor guide
Assessment
This issue has not been assessed yet.