ARATA Mizuki

Although I haven't tried it myself, there is [millet](https://github.com/azdavis/millet). There is a possibility that I choose to create my own language server, but the priority is currently low.

> Still I would be interested in the reason why you decided to touch the output files even if they didn't change (e.g. > > https://github.com/minoki/cluttex/blob/c16509ed9496767f346c632b3a22e33a7a3804b3/src/cluttex.lua#L332 I don't remember the...

I don't get the meaning of "within Emacs". Are you using some Emacs mode to invoke cluttex? Or, do you want to specify options with some form of magic comment?

AFAIK, AUCTeX doesn't provide ClutTeX as an option by default. Are you using something like [tsuu32/auctex-cluttex](https://github.com/tsuu32/auctex-cluttex)? There's a similar issue (with no response): https://github.com/tsuu32/auctex-cluttex/issues/10 Unfortunately I am not familiar with...

I'm looking at `.aux` file, and there's lines like `\@newglossary{main}{glg}{gls}{glo}`. I wonder if they could be parsed to detect input/output files. What do you think?

It would be a good addition. Since JS-CPS backend provides delimited continuations, no new *syntax* needs to be added. Instead, some *library* functions like this will do: ```sml type 'a...

I've added `make install` target and the installed `lunarml` command works without passing `-B` (a wrapper script is installed in `$PREFIX/bin`). I hope this change makes packaging easier. Two notes:...