Skip to content

Pull requests: Adam-Vandervorst/PathMap

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Generic three-way zipper merge
#34 opened Apr 7, 2026 by marcin-rzeznicki Collaborator Loading…
zipper merge algebra (join/meet/subtract)
#33 opened Apr 1, 2026 by marcin-rzeznicki Collaborator Loading…
Add node-based catamorphism POC
#31 opened Jan 9, 2026 by Adam-Vandervorst Owner Loading…
RFC: Blind zippers
#25 opened Sep 25, 2025 by imlvts Collaborator Loading…
Added performance counters to zippers
#14 opened Jun 3, 2025 by imlvts Collaborator Loading…
ProTip! What’s not been updated in a month: updated:<2026-03-12.