Skip to content

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.

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

145 Open 665 Closed
145 Open 665 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

On Apple silicon machines, the brew installed llvm's wasm-ld linker does not seem to be detected by juvix doctor command. bug pending-review
#3082 opened Oct 1, 2024 by denniswon
Write an Anoma App Juvix tutorial documentation Improvements or additions to documentation
#3080 opened Oct 1, 2024 by lukaszcz 0.6.7
Unify the Juvix coding style in the standard library and anoma apps priority:high standard-library
#3079 opened Oct 1, 2024 by lukaszcz 0.6.7
@lukaszcz
Update documentation documentation Improvements or additions to documentation priority:high
#3078 opened Oct 1, 2024 by lukaszcz 0.6.7
Make WASM support optional dev-tools priority:high
#3077 opened Oct 1, 2024 by lukaszcz 0.6.7
@lukaszcz
Crash related to missing name in name signature bug pending-review
#3074 opened Sep 30, 2024 by janmasrovira
1
@janmasrovira
Mutually recursive blocks are sometimes wrong bug pending-review
#3071 opened Sep 28, 2024 by janmasrovira
1
Merge the containers library into the standard library standard-library
#3067 opened Sep 27, 2024 by lukaszcz 0.6.7
Juvix compiler crash: permutation should have at least one element bug pending-review
#3064 opened Sep 26, 2024 by lukaszcz 0.6.7
1
@janmasrovira
Formatter removes judoc comment for aliases bug juvix-formatter
#3063 opened Sep 26, 2024 by heueristik
The :load command sometimes fails not finding the file bug pending-review repl
#3062 opened Sep 26, 2024 by lukaszcz 0.6.7
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
@janmasrovira
Isabelle/HOL translation: syntax aliases incorrectly translated bug isabelle pending-review
#3047 opened Sep 14, 2024 by lukaszcz 0.6.7
1
@lukaszcz
Consider making juvix init --non-interactive the default CLI discussion pending-review
#3046 opened Sep 14, 2024 by janmasrovira
Isabelle/HOL translation: record syntax incorrectly translated with multiple constructors and nested record patterns bug isabelle pending-review
#3045 opened Sep 14, 2024 by lukaszcz 0.6.7
1
@lukaszcz
Add the last ; to any list-like structure juvix-formatter pending-review
#3043 opened Sep 14, 2024 by janmasrovira
1
Nockma backend: reduce the number of things stored in closures backend:nockma enhancement New feature or request nock optimization pending-review
#3042 opened Sep 14, 2024 by lukaszcz 0.6.7
@lukaszcz
Use '@' consistently for record definitions as well discussion syntax
#3041 opened Sep 14, 2024 by lukaszcz 0.6.7
Isabelle/HOL translation: support polymorphic type synonyms enhancement New feature or request isabelle
#3040 opened Sep 14, 2024 by lukaszcz 0.6.7
@lukaszcz
Allow final semicolons everywhere discussion enhancement New feature or request juvix-formatter parsing pending-review syntax
#3039 opened Sep 13, 2024 by lukaszcz 0.6.7
linux static release build fails bug build CI pending-review
#3037 opened Sep 13, 2024 by paulcadman 0.6.7
Juvix testing framework dev-tools discussion enhancement New feature or request pending-review
#3033 opened Sep 13, 2024 by lukaszcz 0.6.8
@lukaszcz
2
The rules for where blocks of mutually recursive definitions end are unclear and confusing discussion modules
#3032 opened Sep 13, 2024 by lukaszcz 0.6.7
Allow local modules to self-reference enhancement New feature or request modules pending-review syntax
#3031 opened Sep 13, 2024 by janmasrovira
ProTip! Type g i on any issue or pull request to go back to the issue listing page.