-
Notifications
You must be signed in to change notification settings - Fork 54
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
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
pending-review
#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
syntax
Allow local modules to self-reference
enhancement
New feature or request
modules
pending-review
syntax
#3031
opened Sep 13, 2024 by
janmasrovira
Compiler crash when trying to compile file with do-notation
bug
core
Related to JuvixCore
pending-review
Previous Next
ProTip!
Adding no:label will show everything without a label.