IntersectMBO / IntersectMBO/formal-ledger-specifications

The `Home` page of the new documentation is confusing

Open
#840 4 comments 0 reactions 0 assignees View on GitHub
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:

Image

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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.