Ting-gian LUA

Fix the return type of `Fs.createWriteStreamOptions` (#51)

1

As in #51

In `ChildProcess`, `stdout` and `stderr` should be *writable* while `stdin` should be *readable*.

1. It's not portable 2. It's not needed anyway

Problem with the locale of binaries built on GitHub Actions

2

If the source contains Unicode symbols like `⊤` in the example below: ```agda module A where data ⊤ : Set where tt : {! !} ``` The language server would...

Things happened after I upgraded `underscore` to `v1.4.4`, and it worked fine after I downgraded it back to `v1.4.3`. By the way, instead of submitting a new issue here, which...

Session not found after server restart in GHCi

1

### How to reproduce 1. Fire up a `socketio` server in `ghci` 2. Press `ctrl-c` to interrupt 3. Fire up the server again 4. Connect the server with a client...

The Incompatible language version error is confusing

1

``` Uncaught RangeError: Incompatible language version. Expected 8. Got 9 ``` I cannot understand this error message (though I kept hitting it, that's another problem 😢). * Is it Atom...

Unicode symbols breaking the scanner

1

As in https://github.com/tree-sitter/tree-sitter/issues/312

From https://github.com/banacorn/language-agda/issues/18 by @zraffer > Perhaps it would be nice to highlight all indexed universe literals Set₀ Set₁ ... Setω (for --omega-in-omega option) the same color as the original unindexed...