<div dir="ltr"><div>Would there be any benefit to doing this around the language-server-protocol?</div><div><br></div><div>I would love to get some of these features into Haskell, over time.</div><div><br></div><div>Alan<br></div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, 27 Sep 2018 at 14:56, David Thrane Christiansen <<a href="mailto:david@davidchristiansen.dk">david@davidchristiansen.dk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello Agda users and implementors,<br>
<br>
I've talked to a few people at ICFP in the last few days who have said<br>
that a bottleneck in Agda development is that there are too few people<br>
who know Emacs Lisp.<br>
<br>
I know Emacs Lisp decently well. I wrote the majority of the code in<br>
Idris's Emacs mode, for instance. I don't have time to take on<br>
projects in Agda's interface, but I'm happy to discuss designs, give<br>
advice on libraries, review code, and otherwise help out with getting<br>
more interested developers up and running on Elisp for Agda. This is<br>
an open offer - please just email me if you'd like to take me up on<br>
it.<br>
<br>
Also, if you see a feature in idris-mode that you'd like in agda-mode,<br>
perhaps we can extract it into a common library to save work for<br>
everyone. I've already done this with the keyboard- and<br>
mouse-accessible context menus, for instance. So please just let me<br>
know!<br>
<br>
David<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div>