Skip to content

Pull requests: hazelgrove/hazel

New pull request New
57 Open 1,027 Closed
57 Open 1,027 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[draft] insert before/after (overwrite)
#2316 opened May 20, 2026 by SirQuackyy • Draft
2
Add Hazel build info to bottom bar of editor
#2315 opened May 20, 2026 by CyrusD123 Contributor Loading…
@CyrusD123
3
Syntax for the Stepper
#2310 opened May 19, 2026 by Negabinary Contributor • Draft
3 of 4 tasks
[draft] add explore keyword
#2309 opened May 19, 2026 by nskh Collaborator Loading…
1
[draft] reparenthesization
#2307 opened May 18, 2026 by nskh Collaborator Loading…
fix: Cmd+C/V/X in Firefox after editor focus
#2306 opened May 14, 2026 by 7h3kk1d Contributor Loading…
6 tasks
1
8
[Back Burner] CSS Audit
#2303 opened May 13, 2026 by Negabinary Contributor • Draft
1
Add Void built-in type (#2289)
#2291 opened May 12, 2026 by 7h3kk1d Contributor Loading…
4 tasks done
1
14
Merge dev into new-type-hole-inference (elastatics)
#2290 opened May 11, 2026 by cyrus- Member Loading…
Add slide-* CLI subcommands for inspecting and rewriting Hazel slides
#2282 opened May 9, 2026 by 7h3kk1d Contributor Loading…
6 tasks done
1
Fix all_ctrs_of_typ infinite recursion on vacuous Rec bindings
#2281 opened May 8, 2026 by 7h3kk1d Contributor Loading…
4 tasks done
2
8
Bump rollup from 4.39.0 to 4.60.3 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#2280 opened May 8, 2026 by dependabot Bot Loading…
Splices
#2273 opened May 6, 2026 by Negabinary Contributor • Draft
Parameterized types and multi-binder polymorphism
#2254 opened May 2, 2026 by cyrus- Member Loading…
6 tasks
1
18
Onboarding tutorials with Task Reference panel
#2250 opened May 1, 2026 by 7h3kk1d Contributor Loading…
5 tasks done
1
Sample focus range: anti-pin, sibling navigation, tree view
#2249 opened Apr 30, 2026 by disconcision Member • Draft
4 tasks
Pin-gated probe navigation, pin icon restyle, TyDi backpack completion
#2248 opened Apr 30, 2026 by disconcision Member • Draft
7 tasks
1
Positional tuple access (x.0) and stuck tuple destructuring
#2247 opened Apr 30, 2026 by disconcision Member • Draft
4 tasks
1
Adventure mode
#2241 opened Apr 30, 2026 by disconcision Member • Draft
1
Add pre-commit hook for autoformatting
#2233 opened Apr 27, 2026 by cyrus- Member Loading…
5 of 6 tasks
5
Bump postcss from 8.5.3 to 8.5.12 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#2232 opened Apr 27, 2026 by dependabot Bot Loading…
Preserve caret in zipper transformations
#2231 opened Apr 27, 2026 by disconcision Member Loading…
1
chore: update dependencies
#2226 opened Apr 24, 2026 by cyrus- Member Loading…
1
Refactor Problems sidebar; fix jumps in Exercise mode and folds
#2225 opened Apr 23, 2026 by 7h3kk1d Contributor Loading…
1
14
Coding Agent Expansion (Added Tools, New Slash Commands, Rewritten Prompts, Improved Chat UX, and more)
#2210 opened Apr 9, 2026 by russell-rozenbaum Contributor Loading…
13
ProTip! What’s not been updated in a month: updated:<2026-04-21.