<div dir="ltr">Hi,<div><br></div><div>Would someone be so kind as to post the list of required fonts for the Agda Emacs mode?</div><div>I can't seem to find them in the documentation.</div><div><br></div><div>Thanks,</div><div>-db</div><div><br></div></div>