[Agda] Offer of Elisp help

Alan & Kim Zimmerman alan.zimm at gmail.com
Thu Sep 27 21:58:28 CEST 2018


Would there be any benefit to doing this around the
language-server-protocol?

I would love to get some of these features into Haskell, over time.

Alan

On Thu, 27 Sep 2018 at 14:56, David Thrane Christiansen <
david at davidchristiansen.dk> wrote:

> Hello Agda users and implementors,
>
> I've talked to a few people at ICFP in the last few days who have said
> that a bottleneck in Agda development is that there are too few people
> who know Emacs Lisp.
>
> I know Emacs Lisp decently well. I wrote the majority of the code in
> Idris's Emacs mode, for instance. I don't have time to take on
> projects in Agda's interface, but I'm happy to discuss designs, give
> advice on libraries, review code, and otherwise help out with getting
> more interested developers up and running on Elisp for Agda. This is
> an open offer - please just email me if you'd like to take me up on
> it.
>
> Also, if you see a feature in idris-mode that you'd like in agda-mode,
> perhaps we can extract it into a common library to save work for
> everyone. I've already done this with the keyboard- and
> mouse-accessible context menus, for instance. So please just let me
> know!
>
> David
> _______________________________________________
> 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/20180927/08c2cb0c/attachment.html>


More information about the Agda mailing list