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.

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

Add comments describing how to use JuvixCore recursors #1767

Closed
lukaszcz opened this issue Jan 25, 2023 · 0 comments · Fixed by #1818
Closed

Add comments describing how to use JuvixCore recursors #1767

lukaszcz opened this issue Jan 25, 2023 · 0 comments · Fixed by #1818
Assignees
@lukaszcz
Labels
core Related to JuvixCore documentation Improvements or additions to documentation priority:low
Milestone
0.3 - Valencia

Comments

@lukaszcz
Copy link
Collaborator

No description provided.

@lukaszcz lukaszcz added documentation Improvements or additions to documentation priority:low core Related to JuvixCore labels Jan 25, 2023
@lukaszcz lukaszcz added this to the 0.4 - Geb integration milestone Jan 25, 2023
@lukaszcz lukaszcz self-assigned this Jan 25, 2023
@lukaszcz lukaszcz mentioned this issue Feb 8, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
core Related to JuvixCore documentation Improvements or additions to documentation priority:low
Projects
None yet
Milestone
0.3 - Valencia
Development

Successfully merging a pull request may close this issue.

Comments about the usage of the JuvixCore recursors anoma/juvix
1 participant
@lukaszcz