On 2020-02-22 15:51, Panos Ked wrote: > I was looking for the documentation of the API's routes to Emacs. I > was wondering if someone can link it to me. Thank you very much for > your co-operation and help. See the following pull request due to Ting-gian LUA for some information: Adds JSON support https://github.com/agda/agda/pull/3186 -- /NAD