Valentin Robert
Valentin Robert
Yeah no worries, it's very easy to get around anyway! :)
Hey @ejgallego , I am not offering this as a proposition, since I have little time to participate in contributing, but I can say that I have had success, for...
@corwin-of-amber Re. emacs, there are two decent modes (`typescript-mode` and `tide-mode`), that have been okay in my experience.
Yes, sorry, I meant `proof-unicode-tokens-toggle`. To reproduce my problem, the following steps: - Run emacs w/ proofgeneral with some `.v` file. - Run `company-mode` (`Company mode disabled in this buffer`)....
Hmm, I was looking for the same functionality, took this code at face value, and unless I'm misusing it, it does not seem to work, see console output of: ```typescript...
Yeah that's unfortunate. Is it far-fetched to assume that a consequent portion of the users may be calling from cabal, and to have a note for them in the error...
This has become even more of a pain point now that I'm using `lorri`. If you naively use `callCabal2nix` to generate nix expressions for your local packages, the created package...
Oh, it does turn out to be annoying now that I'd like to put an `AlexPosn` in my state! I do feel like you're right about the bad interaction with...
@remexre I personally ended up writing the lenses manually: https://github.com/Ptival/language-ocaml/blob/f7865ae8881cc4934705935e402433ec951fdb49/lib/Language/OCaml/Parser/Generator/Lexer.x#L585-L595
Tested on 1.6.2 and seems to be the same. I will try and see if a regression is not too hard to make!