m0rphism

> Can you collect a CPU profile? See https://www.gnu.org/software/emacs/manual/html_node/elisp/Profiling.html Sure. Here are my profile reports for deleting 24 lines from the test document by repeatedly pressing `dd`. When the slowdown...

> Does the slowdown happen during the processing of the file or after it? Both. The slowdown increases proportionally to how much progress `proof-goto-point` made, and once processing finishes, the...

Thanks! The workaround works, indeed. But it still seems odd to me, that checking the whole buffer and then retracting it (running `proof-goto-point` on the buffer begin), does affect the...

Great that you guys are positive towards the idea! :-) I've implemented a first prototype for `runInterpreterWithStackFile` here: 8381efdf969349c1e9e38d43d806b29989a4d5c6 I've reexported the functions in the `Language.Haskell.Interpreter.Unsafe` module, as `stack` forwards...

> I agree that adding the dependency to hint itself would not be a good idea. > > Hint itself doesn't depend on ghc being readily executable, so it would...

I could give it a try, but I have no experience with the Agda codebase yet and also not much experience with emacs lisp, so I may need a bit...

Thanks for the response. I had some time to give it a closer look and it seems the problem is indeed related to the bindings. I was able to fix...

Sure, no problem! For the `x11` crate, I can create a pull request. For the `x11-dl` crate, I'm not sure enough what to change. If I just add `("xfixes", "xfixes")`...

+1 and bump

Alrighty, cool. Thanks for the quick reply!