<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Hi,<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">​For simplifying the support of various versions of GHC and Haskell libraries, and the bug fixing process, we might consider to remove the Agda (not Emacs) interactive mode, i.e. the mode called using the --interactive option. Note that this mode is not currently supported.<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">If you are using the Agda interactive mode, please reply this message.<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Best,<br></div><br>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr">Andrés</div></div></div></div>
</div>