Stefan Höck

Sorrry, I don't understand the question. What is `next.js`?

There is an HTML to String rendering function, but I suggest you have a look at idris2-dom-mvc, which comes without the FRP complexity of idris2-rhone-js.

I'll have a look at this.

So, I tested this on my end: The program is installed at the correct location on my end but the lsp app requires also pack to be installed in the...

> At [mason-org/mason-registry#5266](https://github.com/mason-org/mason-registry/pull/5266), I am making idris2-lsp available to neovim users via one of its most popular package managers. Portability is one of mason's key features: All installed packages are...

I wonder if all of this could be solved by allowing two things: 1) Specifying the `pack.toml` to use as a command-line argument 2) Allowing `pack.toml` files to explicitly state...

Thanks for doing this. Please note that I'm not a nix user and will not be able to maintain this. I'm therefore wondering if this truly needs to be part...

In that case I'd suggest to keep this as part of the pack repo for the time being as long as we have proper CI tests and documentation. If the...

What is the status of this PR? I'm all for merging but not without proper CI tests and documentation.

Can vanilla Idris parse multiline comments?