[Agda] Poll: Remove the Agda interactive mode

[Andrés Sicard-Ramírez]

Hi,

​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.

If you are using the Agda interactive mode, please reply this message.

Best,

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150212/143b960f/attachment.html