[Agda] Offer of Elisp help

[David Thrane Christiansen]

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