-
Notifications
You must be signed in to change notification settings - Fork 84
Pull requests: tweag/nickel
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add a subsumption rule between record types and dictionary types
#1977
opened Jun 25, 2024 by
Eckaos
Loading…
Split contracts into an immediate part and a delayed part
#1975
opened Jun 21, 2024 by
yannham
Loading…
ProTip!
Updated in the last three days: updated:>2024-06-24.