-
Notifications
You must be signed in to change notification settings - Fork 11
Pull requests: jsiek/deduce
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Dedup simplify/expand/replace proof head-string builders (refs #813)
#1182
opened Aug 8, 2026 by
jsiek
Owner
Loading…
Dedup switch case-processing and union exhaustiveness in checker_types (refs #813)
#1178
opened Aug 8, 2026 by
jsiek
Owner
Loading…
Dedup literals.py constructor-shape recognizers via _base_is (refs #813)
#1170
opened Aug 8, 2026 by
jsiek
Owner
Loading…
Dedup: share the alpha-renaming binder __eq__ body (refs #813)
#1155
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Dedup proc/observer/resource declaration formatting helpers (refs #813)
#1151
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Extract single-name uniquify binder helper (refs #813)
#1148
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Dedup: extract shared _all_elim_str helper for AllElim/AllElimTypes (refs #813)
#1147
opened Jul 28, 2026 by
jsiek
Owner
Loading…
ProTip!
Follow long discussions with comments:>50.