yes, was there, talked to a mathematician who just installed Emacs for use with Agda (seems this language is unusable without Emacs) -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailb.org/pipermail/emacs-berlin/attachments/20191231/3f269ff8/attachment.html>