-
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
Errors happening in imported files are reported in the wrong location
bug
error-messaging
pending-review
#2820
opened Jun 8, 2024 by
janmasrovira
Improve printing of normalized types in error messages
error-messaging
pending-review
#2818
opened Jun 7, 2024 by
janmasrovira
Extend the Juvix-to-Isabelle translation with pure functions
enhancement
New feature or request
isabelle
pending-review
#2813
opened Jun 7, 2024 by
lukaszcz
Add the Anoma-specific functions to the Core evaluator
anoma
core
Related to JuvixCore
enhancement
New feature or request
pending-review
#2808
opened Jun 6, 2024 by
lukaszcz
Clean up backends and tests
CI
CLI
discussion
refactor
test-suite
#2807
opened Jun 6, 2024 by
lukaszcz
Support complex data types as arguments/result of New feature or request
priority:high
main
for the Cairo backend
cairo
enhancement
#2805
opened Jun 4, 2024 by
lukaszcz
Side conditions in pattern matching
enhancement
New feature or request
pattern-matching
pending-review
syntax
#2804
opened Jun 4, 2024 by
lukaszcz
Special error message for record updates of the shape
C@{field := field}
error-messaging
pending-review
#2803
opened Jun 4, 2024 by
janmasrovira
Builtin axioms should have a different face (color) than non-builtin axioms
pending-review
#2800
opened Jun 4, 2024 by
janmasrovira
Avoid breaking changes to New feature or request
package-manager
pending-review
Package.juvix
caused by updates to standard library
enhancement
#2759
opened Apr 29, 2024 by
paulcadman
Make the global New feature or request
package-manager
pending-review
package
and package-base
packages immutable
CLI
enhancement
#2758
opened Apr 29, 2024 by
paulcadman
Investigate the potential for implementing a RISC Zero backend
enhancement
New feature or request
#2755
opened Apr 25, 2024 by
paulcadman
Use untagged record representation in the Cairo backend
cairo
enhancement
New feature or request
optimization
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.