hazel icon indicating copy to clipboard operation
hazel copied to clipboard

Hazel, a live functional programming environment with typed holes

Results 339 hazel issues
Sort by recently updated
recently updated
newest added

Adds an undefined keyword to the language. The goal is to provide users the ability to express intent not to fill an empty hole. This may be useful when there...

needs-merge

Adding the ability for users to define their own operators. This pull request makes changes to the external language's pattern and expression forms so that custom infix operators can be...

needs-polish

- Closes #882 - Closes #887 - Closes #1087 In addition to fixing the preceding complete-case indentation bugs, this introduces a new system for indentation in the incomplete case, whereby...

needs-merge

Intended behavior is to highlight all uses of a bound variable when the cursor is over a pattern. At the moment, there is code which prints the uses, but the...

needs-polish
needs-merge

Add Haz3l title edit.

needs-merge

We can now define let-operators(let+, let*, let-) and use them. ![image](https://github.com/hazelgrove/hazel/assets/73332800/5fbab34a-e216-4364-81af-6338531de76d) If the let-operator is not defined by user, a warning message will show. ![image](https://github.com/hazelgrove/hazel/assets/73332800/5d44418a-e421-4a58-8a54-36dc2ea9e55a) About what part of the...

in-development

# IN PROGRESS [Screencast from 2023-02-26 20-25-26.webm](https://user-images.githubusercontent.com/995429/221457944-59318675-e56f-46a7-8292-21be76fe1a40.webm)

in-development

module view. The target is to make a foldable view for module definitions. Currently I'm going to add a id map indicating whether a module definition is folded, which is...

needs-polish

Command line type-constrained token suggestion given a program prefix.

The ExplainThis sidebar does not scroll. Also, code in the sidebar (but nothing else) overlaps with the bottom bar. ![image](https://github.com/hazelgrove/hazel/assets/280638/57d3a7fa-d2b4-4784-aaaa-e9b647e9f1e0)

bug