-
-
Notifications
You must be signed in to change notification settings - Fork 36
Pull requests: racket/redex
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
eta and beta aren't nicely compatible with n-ary functions
#258
opened Jan 4, 2023 by
rfindler
Loading…
Fix sub-derivations failure reporting in test-judgment-holds
#205
opened Oct 5, 2019 by
wilbowma
Loading…
Update judgment-forms caches to use alpha-equivalence.
#103
opened May 27, 2017 by
wilbowma
Loading…
ProTip!
Adding no:label will show everything without a label.