FStarLang / FStarLang/fstarlang.github.io
KreMLin user manual: "Indices and tables" links in the ToC blank or broken
Open
- Dominant language
- HTML
- Stars
- 8
- Forks
- 9
- PR merge metrics
- No merged PRs in 30d
Description
On this page: https://fstarlang.github.io/lowstar/html/
The "Index" and "Search Page" links lead to basically blank pages, and the "Module Index" link gives a 404. The search box on the left does work, though.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.