IntersectMBO / IntersectMBO/formal-ledger-specifications
The `Home` page of the new documentation is confusing
Open
documentation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
The `Home` page is just a copy of the `README` file. So when you land on it when looking for the actual specification you're naturally directed to this section:
Clicking on the first link just links to the site you're currently at, which is not at all what you want. I'd suggest to replace this with a page that suggests you to explore the sidebar on the left and provides links to `Ledger.Conway.Ledger`, `Ledger.Conway.Epoch` and `Ledger.Conway.Chain`, as the entry points for transaction processing, the epoch boundary and full block validation.
Contributor guide
Assessment
This issue has not been assessed yet.