IntersectMBO / IntersectMBO/cardano-ledger
Constraints and properties for EPOCH 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 body names no files, tests, or entry points. Start by locating the EPOCH rule in the ledger specifications and existing property tests, then determine which constraints and properties are intended. The issue needs a defined scope and completion criteria before work can begin.
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
- 10/100