IntersectMBO / IntersectMBO/cardano-ledger
Constraints and properties for DELEG rule
Open
ConwayEra
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
This issue has no description.
Contributor guide
Research direction
The issue has no body and names no files, tests, or entry points. Start by locating the DELEG rule in the ledger specifications and existing rule tests, then clarify which constraints and properties are required and how completion will be verified.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- blockchain
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100