IntersectMBO / IntersectMBO/formal-ledger-specifications
[Dijkstra] document prohibiting within-batch withdrawals
Open
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
See https://github.com/IntersectMBO/formal-ledger-specifications/pull/1162#discussion_r3111195893
Contributor guide
Research direction
Start with the linked discussion in pull request 1162, which identifies the prohibition to document. The issue names no file or test, so first locate the Dijkstra specification and its existing withdrawal rules. Done means the formal specification clearly documents that within-batch withdrawals are prohibited.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100