favonia

@mikeshulman The speed is indeed important, especially for auto-completion. So we were thinking about promoting the design of having a separate scope-checker to give quick feedback on whether there's a...

@TOTBWF I'm curious---is `examples/stlc/asai-stlc-lsp.el` still working?

@mikeshulman I'm not familiar with ProofGeneral. Does it put the output into a [CompilationMode](https://www.gnu.org/software/emacs/manual/html_node/emacs/Compilation-Mode.html) buffer so that `compilation-error-regexp-alist` would work? If so, perhaps we could output something that Emacs can...

@mikeshulman In principle, I and a few other key developers do not like using column numbers, which are confusing. However, if that's the only way, so be it. The format...

@mikeshulman I think markups are always better than column numbers, but I don't know whether ProofGeneral supports any. These are possible approaches, roughly from the best to the worst, in...

> What gave you the impression that my font displays all digits with the same width? Because I believe the outcome would be horrible otherwise. It seems your sophisticated setting...

@mikeshulman That sounds like a very reasonable approach!

This is mostly solved by #175 that (1) uses French double quotation marks for ranges when ANSI is disabled, by default, and (2) allows library users to decide whatever quotation...

@mikeshulman This is a very good point and I must admit that I didn't think through this issue very carefully. The only (very weak) counterargument I could think of is...

@mikeshulman The original intent, I believe, was to signify that the lists are from the _"right,"_ and engineering-wise we sometimes can have tail-recursive code by following the order of elements...