IntersectMBO / IntersectMBO/formal-ledger-specifications
Add sufficient information for zipping a transaction
Open
investigation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
A zipped transaction is one where all the pointers to information have been properly resolved. Currently it's not possible to zip a transaction without any extra information.
We've been considering adding such information (and maybe using the zipped transaction in the ledger rules) for a long time, but we've never gotten around to implementing it. We should investigate how to do this.
Contributor guide
Assessment
This issue has not been assessed yet.