IntersectMBO / IntersectMBO/cardano-ledger
Get rid of redundant `NativeScript era ~ Timelock era` constraints
Open
:credit_card: technical-debt
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
There are many unnecessary `NativeScript era ~ Timelock era` in our codebase that will hinder code-reuse in Dijkstra. We should get rid of those where it makes sense and replace them with `*EraScript era` constraints.
Contributor guide
Assessment
This issue has not been assessed yet.