Ben Fiedler

I'm currently also stuck trying to make sense of how `nvim.Subscribe` works. Where is the callback that I have to register?

Just as a note, truncated UUIDs have a way higher probability of colliding due to their structure. It has a random component in there, but some of them are deterministic,...

I'm using the Isabelle/VSCode backend of Isabelle, with a custom connector. The server include `"plaintext"` as language tag in the responses: ``` {"jsonrpc":"2.0","id":1,"result":{"contents":[{"language":"plaintext","value":"Trying \"simp\", \"auto\", \"blast\", \"metis\", \"argo\", \"linarith\", \"presburger\",...

I believe upstream does this since VSCode renders plaintext as normal text, and never really thought deeply about it. It sounds like a good idea to handle this the same...

Can confirm this is still an issue with TexLive 2019 under Arch Linux.

Indeed, I'm currently hacking around a bit and the execution time of `bw nodes` is remarkably high... Maybe there is a way to cache this somehow? I think I'd still...

Is it wise to force any `Foldable` to also provide `fold1`? I am worried that this might prevent some types from having a `Foldable` instance.

I'd like to try my hand at this. Just one question: Am I correct in the assumption that `uncurry{N}` will only use the `Nthable` class up to `N = 3`...

Also, generalizing `curry` requires injections into the product type `p`, which require a new type class `InjectInto{N}` AFAIK.

Question with `Uncurryable{N}` is whether it is worth the effort. User-defined Product datatypes can be transformed to tuples using `GHC.Generics`, which kind of eliminates the point of generalizing `uncurry{N}`. On...