[Agda] Agda Documentation

Nils Anders Danielsson nad at cse.gu.se
Tue Feb 25 12:11:11 CET 2020


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


More information about the Agda mailing list