-
Notifications
You must be signed in to change notification settings - Fork 52
Pull requests: hazelgrove/hazel
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add support for replays from student logs, along with a step-through/scrubbing control panel
needs-merge
for PRs that need a merge from dev
#981
opened Feb 6, 2023 by
evanweissburg
•
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
Transpiler from Hazel to Roc
in-development
for PRs that remain in development
#1060
opened Jul 4, 2023 by
yujiagao-audrey
•
Draft
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
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
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
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
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
Previous Next
ProTip!
Adding no:label will show everything without a label.