Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Write a guide for the new prior and naming system #128

Open
kazewong opened this issue Aug 5, 2024 · 1 comment · May be fixed by #129
Open

Write a guide for the new prior and naming system #128

kazewong opened this issue Aug 5, 2024 · 1 comment · May be fixed by #129
Assignees
Labels
documentation Improvements or additions to documentation enhancement New feature or request

Comments

@kazewong
Copy link
Owner

kazewong commented Aug 5, 2024

Since the prior system described in #108 seems to be working, we should write a guide about the concept and a tutorial for using the new prior system before we merge it into the dev branch

@kazewong kazewong added the enhancement New feature or request label Aug 5, 2024
@kazewong kazewong self-assigned this Aug 5, 2024
@thomasckng thomasckng added the documentation Improvements or additions to documentation label Aug 6, 2024
@xuyuon
Copy link
Contributor

xuyuon commented Aug 19, 2024

We should also update the example scripts as well.

@kazewong kazewong linked a pull request Mar 4, 2025 that will close this issue
@thomasckng thomasckng moved this from In Progress to Todo in Jim-v1.0.0 Mar 8, 2025
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 enhancement New feature or request
Projects
Status: Todo
Development

Successfully merging a pull request may close this issue.

3 participants