Skip to content

Issues: hazelgrove/hazel

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
45 Open 43 Closed
45 Open 43 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

improve cursor inspector behavior for parenthesized expressions starter-project
#1481 opened Jan 28, 2025 by cyrus-
Duplicate sum constructors not showing error bug starter-project
#1458 opened Jan 10, 2025 by 7h3kk1d
expand cursor inspector for long messages starter-project
#1419 opened Nov 19, 2024 by cyrus-
Ability to share hazel programs via URL enhancement starter-project
#1367 opened Aug 10, 2024 by disconcision
regular expressions starter-project
#1346 opened Aug 1, 2024 by disconcision
add explicit roll/unroll for pedagogical purposes starter-project
#1272 opened Apr 18, 2024 by cyrus-
allow foralls and typfuns to be inserted implicitly starter-project
#1270 opened Apr 18, 2024 by cyrus-
allow combining type variables into a single forall type starter-project
#1269 opened Apr 18, 2024 by cyrus-
Polymorphic equality in-development for PRs that remain in development starter-project
#1267 opened Apr 15, 2024 by GuoDCZ Loading…
@GuoDCZ
24
Hazel lexer enhancement starter-project
#1262 opened Apr 9, 2024 by disconcision
1
polymorphic equality and inequality starter-project
#1252 opened Mar 19, 2024 by disconcision
@GuoDCZ
3
DHExp.fast_equals throws exceptions in certain cases bug starter-project
#1243 opened Mar 13, 2024 by disconcision
Stepping tests backwards to reveal why the test failed starter-project
#1230 opened Feb 27, 2024 by Negabinary
Improve ability to toggle the filtered steps between shown steps starter-project
#1222 opened Feb 26, 2024 by cyrus-
improve exercises mode feedback when tests cannot run due to stack overflow / timeout starter-project
#1216 opened Feb 15, 2024 by cyrus-
1
Add more concise function definition notation starter-project
#1199 opened Feb 7, 2024 by cyrus-
@DavidFangWJ
Unused Variable Warnings starter-project
#1033 opened May 27, 2023 by lmulcahy21 Loading…
17
Blacklist and whitelist for builtins per exercise starter-project
#873 opened Sep 30, 2022 by cyrus-
Unused variable warnings (w/ holes) starter-project
#855 opened Sep 23, 2022 by cyrus-
@lmulcahy21
Add ability to freeze editing for portions of the tree starter-project
#838 opened Sep 23, 2022 by cyrus-
Block movement / selection with Ctrl starter-project
#823 opened Sep 23, 2022 by cyrus-
Highlight the tokens in an erroneous term in red starter-project
#822 opened Sep 23, 2022 by cyrus-
Restore strategy guide starter-project
#821 opened Sep 23, 2022 by cyrus-
Add syntax error feedback to cursor inspector starter-project
#820 opened Sep 23, 2022 by cyrus-
Move point allocations to exercise set data structure starter-project
#819 opened Sep 23, 2022 by cyrus-
ProTip! Mix and match filters to narrow down what you’re looking for.