<div dir="auto"><div>yes, was there, talked to a mathematician who just installed Emacs for use with Agda (seems this language is unusable without Emacs)</div></div>