herminie
herminie
Hi, is it possible from the Atom's agda-mode to access the [QuickLaTeX backend](https://agda.readthedocs.io/en/latest/tools/generating-latex.html?highlight=quicklatex#quicker-generation-without-typechecking) to load a scope-checked version of the code?
Hi, i am searching for an Atom package that allows to interact better with language services like go-to-definition. I found the [atom-ide-ui](https://atom.io/packages/atom-ide-ui) package, but language integrations should be built on...
Related with #119 and #122. I noticed that when I try to get the `Scope Info` of the constructor `_,_`, the `agda-mode` replies that `, is not in scope.` Example:...
When calling the `go-to-definition` command i am getting the links to the definitions but not to the openings, but it seems that the link should be there because of the...
Hi, i think it would be good to update the [agda-mode/README.md](https://github.com/banacorn/agda-mode/blob/master/README.md) here in the agda mode in order to specify which commands are shared with Emacs, which commands are only...
When evaluating the normal form of an overloaded constructor, `C-c C-n` `_∷_` returns `_85` without throwing any error or warning. What is `_85`? Is it a metavariable? Would it make...
Hello, I am running the Stanford CoreNLP server 4.5.5 with a custom properties file to specify certain annotators. However, I've noticed that the HTML interface accessed via localhost does not...
While using the `network-3.1.4.0` library in `OSX 13.5.2`, I encountered an exception when attempting to set the `UserTimeout` socket option using the `setSocketOption` function. Here's the relevant code snippet: ```haskell...