[Agda] installing agda

[Gabriel Scherer]

On the other hand, as far as I understand, nextjournal is proprietary
software, while the sources for agdapad are available for self-hosting (
https://github.com/iblech/agdapad ).

(Nextjournal appears to do a lot of things right, they have plenty of git
repositories with patches/contributions on the software they use,
https://github.com/nextjournal, and if I understand correctly they use cool
technology like Guix.)

On Sat, Jan 30, 2021 at 6:53 PM Andrea Amantini <andrea at nextjournal.com>
wrote:

>
>  the collaborative aspect of people sharing the
> same Emacs window.
>
>
> nextjournal has collaborative editing as well ;-) you can create groups or
> grant individual access to your notebooks.
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210130/85baa040/attachment.html>