-
Notifications
You must be signed in to change notification settings - Fork 54
Pull requests: anoma/juvix
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Generalize import syntax
enhancement
New feature or request
modules
#2819
opened Jun 8, 2024 by
janmasrovira
•
Draft
Move VisibilityAnn and WhyInScope from Scoped.Name to Entry
refactor
scoping
#2658
opened Feb 16, 2024 by
janmasrovira
•
Draft
Improve inference for polymorphic types
fix:bug
typechecking
#2567
opened Dec 15, 2023 by
janmasrovira
•
Draft
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.