Cyrus Omar

icon indicating a website link http://web.eecs.umich.edu/~comar icon indicating an email [email protected]

icon company University of Michigan icon location Ann Arbor, MI icon location designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist

Results 210 issues of Cyrus Omar

Add more concise function definition notation

``` let f(x : A, y: B): C = e ``` should behave the same as: ``` let f : (A, B) -> C = fun (x, y) -> e...

starter-project

fix Show Elaboration option in menu

Currently does not do anything.

bug

combine ExplainThis syntax header and top bar

![image](https://github.com/hazelgrove/hazel/assets/280638/e45c1bd5-e7cb-4d38-9455-ba0a79628840)

ExplainThis: add support for hovering over the terms in the syntax

currently only works for the highlighted words in the description ![image](https://github.com/hazelgrove/hazel/assets/280638/f936de35-62f4-4d9f-93e7-10b49c9de944)

Make it possible to navigate through a DHExp with cursor

1 comment

Possibly best way to do this is to translate DHExp to UExp, which will require adding a few forms to UExp (e.g. how to handle fix) and/or coming up with...

namespace localstorage keys to allow builds with different data representations to be hosted on the same URL

Show examples of patterns that aren't matched when there is an exhaustiveness error

pattern-matching

Copy/paste does not seem to work on Safari

could be a permission related issue?

bug

Further evaluate inconsistent cases

Currently just immediately becomes indet. ``` if true then 1.0 else 1 ```

Fix scrolling and z-order of ExplainThis sidebar

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