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

[docs] CAST Development Documentation #733

Closed
titomeister opened this issue Dec 15, 2023 · 0 comments · Fixed by #736
Closed

[docs] CAST Development Documentation #733

titomeister opened this issue Dec 15, 2023 · 0 comments · Fixed by #736
Assignees
Labels
documentation Improvements or additions to documentation

Comments

@titomeister
Copy link
Contributor

It occurred to Vincent that we should have a section in the skema docs website with development notes about specific CAST elements. Right now the only note is about when to use the Var node vs the Name node.

This issue primarily exists to link to the PR that contains the changes required to accomplish. That is, this documentation has been added as of this time, but hasn't been merged yet.

@titomeister titomeister added the documentation Improvements or additions to documentation label Dec 15, 2023
@titomeister titomeister added this to the [DARPA] Milestone 11 milestone Dec 15, 2023
@titomeister titomeister self-assigned this Dec 15, 2023
titomeister added a commit that referenced this issue Dec 22, 2023
## Summary of Changes
This PR makes a small modification to the development notes that live in
the skema docs website.
It adds a new small section detailing notes on how to use Var and Name
constructs.
More things related to CAST development will be added to this section
when the need arises.

Resolves #733
github-actions bot added a commit that referenced this issue Dec 22, 2023
## Summary of Changes
This PR makes a small modification to the development notes that live in
the skema docs website.
It adds a new small section detailing notes on how to use Var and Name
constructs.
More things related to CAST development will be added to this section
when the need arises.

Resolves #733 3e38c48
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 a pull request may close this issue.

1 participant