- Notifications
You must be signed in to change notification settings - Fork36
Pull requests: racket/redex
Author
Label
Projects
Milestones
Reviews
Assignee
Assigned to nobodyLoading
Sort
Pull requests list
eta and beta aren't nicely compatible with n-ary functions
#258 openedJan 4, 2023 byrfindlerLoading…
Fix sub-derivations failure reporting in test-judgment-holds
#205 openedOct 5, 2019 bywilbowmaLoading…
ProTip!no:milestone will show everything without a milestone.