Skip to content

Pull requests: hazelgrove/hazel

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

Add Hazel build info to bottom bar of editor
#2315 opened May 20, 2026 by CyrusD123 Contributor Loading…
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…
[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
[Back Burner] CSS Audit
#2303 opened May 13, 2026 by Negabinary Contributor Draft
Add Void built-in type (#2289)
#2291 opened May 12, 2026 by 7h3kk1d Contributor Loading…
4 tasks done
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
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
Onboarding tutorials with Task Reference panel
#2250 opened May 1, 2026 by 7h3kk1d Contributor Loading…
5 tasks done
Adventure mode
#2241 opened Apr 30, 2026 by disconcision Member Draft
Add pre-commit hook for autoformatting
#2233 opened Apr 27, 2026 by cyrus- Member Loading…
5 of 6 tasks
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…
chore: update dependencies
#2226 opened Apr 24, 2026 by cyrus- Member Loading…
Refactor Problems sidebar; fix jumps in Exercise mode and folds
#2225 opened Apr 23, 2026 by 7h3kk1d Contributor Loading…
ProTip! What’s not been updated in a month: updated:<2026-04-21.