IntersectMBO / IntersectMBO/formal-ledger-specifications
Organise imports
Open
enhancement
good first issue
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
We should adopt a standard convention on how to group and order `import`s at the top of each Agda file.
This should then go into our style guidelines.
(see a [previous discussion](https://github.com/input-output-hk/formal-ledger-specifications/pull/217#discussion_r1327090921_) for proposed conventions)
Contributor guide
Assessment
This issue has not been assessed yet.