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

Update language reference #1627

Closed
jonaprieto opened this issue Nov 22, 2022 · 0 comments · Fixed by #1829
Closed

Update language reference #1627

jonaprieto opened this issue Nov 22, 2022 · 0 comments · Fixed by #1829
Assignees
@lukaszcz
Labels
documentation Improvements or additions to documentation
Milestone
0.3 - Valencia

Comments

@jonaprieto
Copy link
Collaborator

No description provided.

@jonaprieto jonaprieto added the documentation Improvements or additions to documentation label Nov 22, 2022
@jonaprieto jonaprieto added this to the 0.3 milestone Nov 22, 2022
@lukaszcz lukaszcz modified the milestones: 0.3, 0.4 Jan 24, 2023
@lukaszcz lukaszcz self-assigned this Feb 8, 2023
@lukaszcz lukaszcz mentioned this issue Feb 9, 2023
Merged
jonaprieto pushed a commit that referenced this issue Feb 10, 2023
@lukaszcz
Documentation: update language reference (#1829)
d15a569 
* Closes #1627
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
0.3 - Valencia
Development

Successfully merging a pull request may close this issue.

Documentation: update language reference anoma/juvix
2 participants
@lukaszcz @jonaprieto