Anchor links in the generated HTML docs are brittle #3255
Labels
backend:html
documentation
Improvements or additions to documentation
enhancement
New feature or request
html
pending-review
Milestone
When I want to link to specific standard library functions in the documentation, I can use an anchor link such as https://anoma.github.io/juvix-stdlib/Stdlib.Data.Set.AVL.html#Stdlib.Data.Set.AVL:84.
This is very brittle -- depends on declaration order. The documentation links to stdlib will break every time stdlib is updated. It would be a bit less brittle if the links contained identifier names and were not sensitive to order.
The text was updated successfully, but these errors were encountered: