[Agda] Offer of Elisp help

Nils Anders Danielsson nad at cse.gu.se
Thu Oct 25 13:07:10 CEST 2018


On 25/10/2018 12.08, Simon Huber wrote:
> There is also awe for a previous version of Agda (might not work anymore):
> 
>    https://github.com/danr/awe/
> 
> (And I am not quite sure if this is what you are after.)

One question is if the Agda process should run on the client or on the
server. I can imagine that it is not so easy to compile Agda to
Javascript. On the other hand, Agda can be resource intensive, which can
lead to problems for a server-based implementation. Furthermore Agda is
not designed for this kind of environment. (For instance, it is compiled
with -rtsopts, which can in some cases be a security issue.)

-- 
/NAD


More information about the Agda mailing list