Linsy

The latest hazel (dev) added "?" as an empty hole operator. How to resolve the conflict when parsing?

Currently I still have two problems: **Elaborator:** `x > 4` elaborates to `BinIntOp (GreaterThan, (Cast ((BoundVar "x"), (Unknown Internal), Int)), (IntLit 4)))`. It should be `(BinIntOp (GreaterThan, (BoundVar "x"), (IntLit...

same problem on arch linux

I run this command: `curl -G http://127.0.0.1:8000` on my server, the response is `curl: (56) Recv failure: Connection reset by peer`

Should we allow user to use `undefined` variables? For example, is this valid? ``` let a = undefined in ```

Figured out why it will crash. It complains that `form_group` doesn't have `undefined_exp_group`. In `Store.re`, https://github.com/hazelgrove/hazel/blob/dev/src/haz3lweb/Store.re#L89 The lang doc uses localstore data. So I clean the cache and it doesn't...

 This works now, but not sure what this mean: > The one difference between an empty hole and undefined is that undefined should not be a valid pattern in...

> * Undefined should not be capitalized in the output > * I believe that comment is saying that you should not be able to bind a variable called "undefined"...

Use `Material-Color-blue` instead of `Material-Color-Blue` when setting theme.

> The easiest way to basicly play anything you want to, is by using audio loopdevices. Simply load snd-aloop via modprobe (or just add it to /etc/modules), and you are...