IntersectMBO / IntersectMBO/formal-ledger-specifications
Refactor STS module for clarity and maintainability
Open
enhancement
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
Some aspects of the "reflexive transitive closure" types seem a bit ad hoc and confusing. We've decided they should be refactored to make them easier to understand and maintain.
Contributor guide
Assessment
This issue has not been assessed yet.