Skip to content

Conversation

@borisdevos
Copy link
Member

@borisdevos borisdevos commented Aug 6, 2025

PR to add documentation to the package via Documenter.jl

@borisdevos borisdevos added the documentation Improvements or additions to documentation label Aug 6, 2025
@github-actions
Copy link

github-actions bot commented Aug 6, 2025

After the build completes, the updated documentation will be available here

@borisdevos
Copy link
Member Author

Note to self so I don't forget: table of contents isn't showing the implementation page, and maybe change the Introduction header. Also change the implementation when the package does get registered.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants