-
Notifications
You must be signed in to change notification settings - Fork 47
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
ADT Dynamics example is broken (Exhaustiveness/Redundancy)
bug
#1319
opened Jul 2, 2024 by
disconcision
Able to Copy/Paste in Editors Set to Read-Only
bug
critical
critical bug
#1317
opened Jun 28, 2024 by
russell-rozenbaum
Stop context menu from rendering when not open
performance
starter-project
#1314
opened Jun 13, 2024 by
disconcision
ListLit of different Construtor type does not raise type error
bug
#1313
opened Jun 7, 2024 by
GuoDCZ
Constructors that require arguments shouldn't be in patterns without arguments
#1309
opened May 16, 2024 by
Negabinary
Think about how to update the stepper state when elaboration changes
#1305
opened May 7, 2024 by
cyrus-
Previous Next
ProTip!
Updated in the last three days: updated:>2024-07-17.