-
Notifications
You must be signed in to change notification settings - Fork 52
Issues: anoma/juvix
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Refactor default case
impossible
in Tree.Translation.FromCore
refactor
#3115
opened Oct 22, 2024 by
janmasrovira
Update nockma backend output to match Anoma interface
enhancement
New feature or request
pending-review
#3106
opened Oct 16, 2024 by
paulcadman
1 of 3 tasks
Request for New feature or request
pending-review
juvix init
to additionally create a default <ProjectName>.juvix
file
enhancement
#3094
opened Oct 9, 2024 by
mauricewbr
Show feedback on success in New feature or request
pending-review
juvix doctor
output
CLI
enhancement
#3085
opened Oct 8, 2024 by
paulcadman
Mutually recursive blocks are sometimes wrong
bug
pending-review
#3071
opened Sep 28, 2024 by
janmasrovira
Formatter removes
judoc
comment for alias
es
bug
juvix-formatter
#3063
opened Sep 26, 2024 by
heueristik
Case expressions at the root of a definition should contribute to termination
enhancement
New feature or request
pending-review
termination
#3060
opened Sep 25, 2024 by
janmasrovira
Consistent named application syntax
bug
pending-review
syntax
#3054
opened Sep 20, 2024 by
heueristik
Consider making
juvix init --non-interactive
the default
CLI
discussion
#3046
opened Sep 14, 2024 by
janmasrovira
Add the last
;
to any list-like structure
juvix-formatter
pending-review
#3043
opened Sep 14, 2024 by
janmasrovira
Isabelle/HOL translation: support polymorphic type synonyms
enhancement
New feature or request
isabelle
Allow final semicolons everywhere
discussion
enhancement
New feature or request
juvix-formatter
parsing
pending-review
priority:medium
syntax
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.