-
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
Export Juvix source code to latex
backend:latex
enhancement
New feature or request
#2917
opened Jul 26, 2024 by
janmasrovira
•
Draft
Allow instance field declarations
enhancement
New feature or request
traits
typechecking
#2916
opened Jul 25, 2024 by
janmasrovira
•
Draft
Move VisibilityAnn and WhyInScope from Scoped.Name to Entry
refactor
scoping
#2658
opened Feb 16, 2024 by
janmasrovira
•
Draft
ProTip!
Exclude everything labeled
bug
with -label:bug.