Skip to content

Pull requests: hazelgrove/hazel

New pull request New
Clear current search query, filters, and sorts
47 Open 657 Closed
47 Open 657 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Create selection-based buttons for prover
#1542 by Negabinary was merged Mar 5, 2025 Loading…
2
fix: remove filter vars in context inspector
#1541 by tonyfettes was merged Feb 24, 2025 Loading…
1
3
Fix ExpToSegment double parenthesization for unit type and function application
#1540 by 7h3kk1d was merged Feb 24, 2025 Loading…
2
2
Codecov setting changes
#1538 by 7h3kk1d was merged Feb 22, 2025 Loading…
1
Hide stepper filters & bring back function names
#1532 by Negabinary was merged Feb 22, 2025 Loading…
2
1
Syntax factory
#1530 by 7h3kk1d was merged Mar 4, 2025 Loading…
9
Prover tidy
#1527 by Negabinary was merged Feb 19, 2025 Loading…
4
Codecov support
#1526 by 7h3kk1d was merged Feb 18, 2025 Loading…
1
Prover selection
#1525 by Negabinary was merged Feb 19, 2025 Loading…
3
Unboxing fixes
#1524 by Negabinary was merged Feb 19, 2025 Loading…
3
1
Change default buffer back to basic reference
#1519 by 7h3kk1d was merged Feb 16, 2025 Loading…
Make ID annotation on grammar a type parameter
#1518 by 7h3kk1d was merged Feb 25, 2025 Loading…
@7h3kk1d
12
Init.ml formatting
#1517 by Negabinary was merged Feb 13, 2025 Loading…
1
Replace form strings with sum type
#1511 by Negabinary was merged Feb 12, 2025 Loading…
Fix typo in initial Hazel example code
#1506 by nskh was merged Feb 15, 2025 Loading…
1
Fix #1501
#1502 by Negabinary was merged Feb 12, 2025 Loading…
1
4
Make type join symmetric
#1499 by Negabinary was merged Feb 12, 2025 Loading…
1
4
bug fix for filter for Cast & TypFun
#1494 by tonyfettes was merged Feb 12, 2025 Loading…
1
ChatLSP for helpful-assistant
#1492 by disconcision was merged Feb 4, 2025 Loading…
faster pattern coverage checking
#1491 by cyrus- was merged Feb 25, 2025 Loading…
12 of 13 tasks
4
21
fix mysterious code deleletion bug #1449
#1485 by disconcision was merged Jan 30, 2025 Loading…
1
Delete the Nul sort
#1480 by Negabinary was merged Jan 25, 2025 Loading…
Fix #1443
#1476 by Negabinary was merged Jan 29, 2025 Loading…
1
2
Fix #1424
#1475 by Negabinary was merged Jan 29, 2025 Loading…
1
2
Fix Deferral in first position throws exception #1446
#1474 by Negabinary was merged Jan 25, 2025 Loading…
1
ProTip! Filter pull requests by the default branch with base:dev.