Valentin Robert

Is it a goal that should be solved immediately? What happens under other Coq IDEs?

I see. In general it is indeed a bad idea to call `firstorder` without a timeout (or actually, all tactics). I'll try to look into implementing a timeout safety, I...

This seems to be the cause of the problem: https://github.com/haskell/haskell-mode/blob/80225e09bf06ab3962b24812f014f948218e0c80/haskell-align-imports.el#L105

I encountered the same problem, and thought I could solve it by just: ``` pip install -r ${./requirements.txt} ``` so as to have the `requirements.txt` path be resolved w.r.t. where...

Actually, it works with an empty requirements file. What fails is when the derivation attempts to do impure things, like `git clone`-ing a repository, or reaching out to the Python...

This would be much appreciated! In the meantime, is there any information on where to look, even manually, to know either what is being watched, or what is currently on...