[Agda] Poll: Remove the Agda interactive mode

[Andrés Sicard-Ramírez]

On 13 February 2015 at 12:14, Håkon Robbestad Gylterud
<ichor88 at gmail.com> wrote:
> I am currently using Agda interactive mode.

Thanks for the feedback. We'll keep the Agda interactive mode.

-- 
Andrés