hazelgrove / hazel

Watch 13
Star 304
Fork 19

Code
Issues 149
Pull requests 24
Actions
Projects 5
Wiki
Security
Insights

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

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

149 Open 130 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels.

Projects

Filter by project

Milestones

Filter by milestone

Assignee

Filter by who’s assigned

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated

Most reactions

Functorize pretty library over annot type so that we don't need to use Obj.magic cleanup

#429 opened Sep 2, 2020 by cyrus-

Types are over-parenthesized bug

#428 opened Sep 2, 2020 by cyrus-

Cursor not blinking anymore bug

#427 opened Sep 2, 2020 by cyrus-

Create util library that can be shared across libraries cleanup

#424 opened Aug 13, 2020 by dmoon1221

Combine `Serialize` and `Deserialize` into one module named `Serialization`

#423 opened Aug 12, 2020 by adamsmd

Code Doesn't Always Go Back After Preview Hover

#422 opened Aug 11, 2020 by adamsmd

See if Action_Exp.re can be simplified (e.g., find common patterns that can be factored out, maybe use `let%bind` to eliminate the `switch`s).

#421 opened Aug 11, 2020 by adamsmd

Split hole fixing out of Statics_Exp.re and into its own module

#420 opened Aug 11, 2020 by adamsmd

Diff highlighting for Cursor Inspector assistant

#409 opened Jul 17, 2020 by hannahpotter

Place Cursor Inspector above/below code depending on form assistant

#408 opened Jul 17, 2020 by hannahpotter

Make use of Pretty Printer for Cursor Inspector summaries assistant

#407 opened Jul 17, 2020 by hannahpotter

clean up MoveKey cleanup

#406 opened Jul 17, 2020 by cyrus-

remove keycode-based key handling cleanup

#404 opened Jul 17, 2020 by cyrus-

Crashes on latter "Just a Hole" example choice

#397 opened Jul 14, 2020 by nj-wilson

Figure out way to make livelit modal overflows visible while maintaining horizontal overflow auto bug

#394 opened Jul 9, 2020 by dmoon1221

In Page.view, pass a whole compute_results to DHCode.view instead of splitting it into multiple arguments

#391 opened Jul 8, 2020 by adamsmd

Reconsider slider behavior with indet args enhancement post-submission

#388 opened Jul 7, 2020 by nickcollins

Split `*_common` modules into `*` and `*_common` modules cleanup

#387 opened Jul 3, 2020 by dmoon1221

Balance output tree of functions like `Pretty.Doc.hcats` performance

#376 opened Jun 27, 2020 by dmoon1221

labeled_checkbox should be moved out of OptionsPanel into a separate widget cleanup

#375 opened Jun 26, 2020 by cyrus-

Refactor Cell/UHCode cleanup

#374 opened Jun 26, 2020 by cyrus-

make Panel a widget cleanup

#371 opened Jun 26, 2020 by cyrus-

define a type alias for the type of inject cleanup

#370 opened Jun 26, 2020 by cyrus-

infix exponentiation operator enhancement

#364 opened Jun 23, 2020 by cyrus-

define group_id and elt_id types in Undo History code cleanup

#363 opened Jun 23, 2020 by cyrus-

Previous 1 2 3 4 5 6 Next

Previous Next

ProTip! Mix and match filters to narrow down what you’re looking for.

Aug	SEP	Oct
	05
2019	2020	2021