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

263 Open 581 Closed
263 Open 581 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

various positions in stepper steps have "whitespace or comment" displayed in the cursor inspector bug
#1537 opened Feb 22, 2025 by cyrus-
@Negabinary
function applications with tupled arguments are double parenthesized by ExpToSegment bug
#1536 opened Feb 22, 2025 by cyrus-
@7h3kk1d
1
stepper filter variables should not be shown in context inspector bug
#1535 opened Feb 21, 2025 by cyrus-
@tonyfettes @Negabinary
holes are not displaying in context inspector bug
#1534 opened Feb 21, 2025 by cyrus-
1
Solve the Halting problem (sometimes)
#1531 opened Feb 21, 2025 by Negabinary
1
padding on captioned slides has vanished bug
#1528 opened Feb 18, 2025 by disconcision
Display run-time errors for invalid operations bug critical critical bug
#1522 opened Feb 16, 2025 by cyrus-
@Negabinary
Select cell-result Crashes when Reverse Ap CastFail bug critical critical bug
#1521 opened Feb 15, 2025 by GuoDCZ
@Negabinary
2
Parenthesized recursive sum types cause stack overflow bug critical critical bug
#1516 opened Feb 13, 2025 by cyrus-
error rounds
#1515 opened Feb 12, 2025 by cyrus-
1
??-triggered completions
#1514 opened Feb 12, 2025 by cyrus-
5 tasks
1
[meta] Agentic Assistant
#1513 opened Feb 12, 2025 by cyrus-
Indicated term arms are misaligned but only on Edge bug
#1512 opened Feb 12, 2025 by disconcision
1
Unnecessary completion computation on movement bug performance
#1503 opened Feb 7, 2025 by disconcision
@disconcision
Clean up Sort css classes cleanup
#1500 opened Feb 6, 2025 by disconcision
entering a colon between 1 and (2+2) throw exception bug
#1498 opened Feb 6, 2025 by disconcision
multi-holes do not evaluate bug
#1497 opened Feb 5, 2025 by cyrus-
1
Result panel below editors resizes wildly and rapidly when you make changes bug
#1496 opened Feb 5, 2025 by disconcision
1
Revenge of the gradual guarantee: 'Show casts' setting changes stepper semantics bug
#1495 opened Feb 4, 2025 by disconcision
@Negabinary
can't use arrow keys to move in stepper steps bug
#1490 opened Jan 30, 2025 by cyrus-
@Negabinary
If a text projector is directly adjacent to a token on the left, moving left from that token skips entering the text area bug
#1489 opened Jan 30, 2025 by disconcision
1
@disconcision
Build step for building Init.ml editors enhancement
#1487 opened Jan 29, 2025 by disconcision
1
retain type aliases in types included in elaborations
#1486 opened Jan 29, 2025 by cyrus-
Documentation crashes if you try to go before the first page bug starter-project
#1484 opened Jan 28, 2025 by Negabinary
1
remove : from infix operator regex
#1483 opened Jan 28, 2025 by cyrus-
3
ProTip! no:milestone will show everything without a milestone.