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.

Sign up for GitHub

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

Jump to bottom

chore/comments-and-tests #30

Draft

svishnus wants to merge 3 commits into master from chore/comments-and-tests

Contributor

svishnus commented Feb 29, 2024

adding inline tests to modules as required
comments to document formalism


          chore/comments-and-tests

637c4b8

- adding inline tests to modules as required
- comments to document formalism

svishnus added the chore label

svishnus requested a review from cyrus-

February 29, 2024 00:06

svishnus self-assigned this

svishnus added 2 commits

March 4, 2024 21:22


          chore: more comments and notes

ac0ad0c


          feat: grv examples in README and some sexp tests

fbde6ba

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

Labels

chore