-
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
Fix termination crash due to empty permutation
fix:bug
termination
#3081
opened Oct 1, 2024 by
janmasrovira
Loading…
Nockma backend: translate New feature or request
nock
trace
to %puts
hints
anoma
backend:nockma
enhancement
Isabelle/HOL translation: recursive translation of the whole project
enhancement
New feature or request
isabelle
Move VisibilityAnn and WhyInScope from Scoped.Name to Entry
refactor
scoping
#2658
opened Feb 16, 2024 by
janmasrovira
•
Draft
ProTip!
What’s not been updated in a month: updated:<2024-09-02.