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
Sort

Pull requests list

LLAMA LLM LSP
#1148 opened Dec 4, 2023 by disconcision Draft
Haz3l user defined operators needs-polish for PRs that are substantially complete but need final polish
#1012 opened May 14, 2023 by shawn-stovall Draft
module system
#1020 opened May 19, 2023 by gensofubi Loading…
Unused Variable Warnings starter-project
#1033 opened May 27, 2023 by lmulcahy21 Loading…
Let operators in-development for PRs that remain in development
#1056 opened Jun 27, 2023 by xzxzlala Draft
Transpiler from Hazel to Roc in-development for PRs that remain in development
#1060 opened Jul 4, 2023 by yujiagao-audrey Draft
parameterized types
#1084 opened Aug 18, 2023 by xzxzlala Loading…
Assistant Plus assistant Part of the Hazel Assistant project in-development for PRs that remain in development needs-merge for PRs that need a merge from dev
#1091 opened Aug 25, 2023 by disconcision Draft
Query-based Accessibility in-development for PRs that remain in development
#1117 opened Sep 30, 2023 by coned Draft
Breadcrumb bar needs-merge for PRs that need a merge from dev needs-polish for PRs that are substantially complete but need final polish
#1118 opened Oct 8, 2023 by xzxzlala Loading…
Dynamic layout for inexhaustive case/indeterminately match case needs-polish for PRs that are substantially complete but need final polish
#1125 opened Oct 22, 2023 by pigumar1 Draft
Haz3l binding uses needs-merge for PRs that need a merge from dev needs-polish for PRs that are substantially complete but need final polish
#965 opened Jan 22, 2023 by agrsh Draft
inexhaustive pattern examples in error messages in-development for PRs that remain in development
#1139 opened Nov 15, 2023 by karananand01 Draft
Type Hole Inference (post merge) needs-polish for PRs that are substantially complete but need final polish
#1155 opened Dec 26, 2023 by RaefM Draft
Implement Labeled Tuples in-development for PRs that remain in development
#1235 opened Mar 5, 2024 by WondAli Draft
6 of 9 tasks
Module implicts in-development for PRs that remain in development
#1241 opened Mar 13, 2024 by xzxzlala Draft
6 tasks
Create a new input syntax for function. in-development for PRs that remain in development
#1254 opened Mar 25, 2024 by DavidFangWJ Draft
2 tasks
Polymorphic equality in-development for PRs that remain in development starter-project
#1267 opened Apr 15, 2024 by GuoDCZ Draft
Derivation trees in-development for PRs that remain in development
#1302 opened May 4, 2024 by GuoDCZ Draft
37 of 52 tasks
Adds theorem and proof construct
#1308 opened May 7, 2024 by nskh Draft
add hintedtest keyword
#1327 opened Jul 16, 2024 by jacobziff Loading…
4 tasks done
Exercise Mode Editing Capabilities
#1444 opened Dec 18, 2024 by russell-rozenbaum Loading…
ProTip! Adding no:label will show everything without a label.